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