Use of LOTOS in the formal development of an OSI protocol
- 31 March 1992
- journal article
- Published by Elsevier in Computer Communications
- Vol. 15 (2) , 86-92
- https://doi.org/10.1016/0140-3664(92)90128-2
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Introduction to the ISO specification language LOTOSPublished by Elsevier ,2003
- The object-oriented systems life cycleCommunications of the ACM, 1990
- Object-oriented developmentIEEE Transactions on Software Engineering, 1986