DocumentCode :
330577
Title :
Prototyping of Lotos Specifications in Functional Languages
Author :
Cunha, P.R.F. ; Ferraz, C.A.G. ; Meira, S.R.L.
Author_Institution :
Universidade Federal de Pernambuco
Volume :
2
fYear :
1991
fDate :
28-30 Aug 1991
Firstpage :
263
Lastpage :
266
Keywords :
Computational modeling; Computer simulation; Electronic mail; Formal specifications; Intelligent networks; Protocols; Prototypes; Standardization; Standards development; Writing;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
TENCON '91.1991 IEEE Region 10 International Conference on EC3-Energy, Computer, Communication and Control Systems
Print_ISBN :
0-7803-0538-8
Type :
conf
DOI :
10.1109/TENCON.1991.729656
Filename :
729656
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=330577
بازگشت