Adding graphics and animation to Estelle
- 31 March 1990
- journal article
- Published by Elsevier in Information and Software Technology
- Vol. 32 (2) , 149-161
- https://doi.org/10.1016/0950-5849(90)90114-7
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Introduction to the ISO specification language LOTOSPublished by Elsevier ,2003
- The CCITT-specification and description language SDLComputer Networks and ISDN Systems, 1989
- Estelle formal specification of ISO virtual terminalComputer Standards & Interfaces, 1989
- An introduction to Estelle: A specification language for distributed systemsComputer Networks and ISDN Systems, 1987
- OSI Reference Model--The ISO Model of Architecture for Open Systems InterconnectionIEEE Transactions on Communications, 1980
- Protocol Representation with Finite-State ModelsIEEE Transactions on Communications, 1980
- Formal Techniques for Protocol Specification and VerificationComputer, 1979