Formal specification of ISO virtual terminal in Estelle.
Paul D. AmerFigen CeceliGuy JuanolePublished in: INFOCOM (1988)
Keyphrases
- formal specification
- model checking
- specification languages
- specification language
- object oriented design
- virtual environment
- process algebra
- reverse engineering
- data abstraction
- formal methods
- virtual world
- software components
- concurrent systems
- model checker
- cooperative
- business process
- formal specification language