Design and Formal Specification of an X.25 Packet Level Protocol Implementation.
Sigram SchindlerJochen DidierMichael SteinackerPublished in: COMPSAC (1978)
Keyphrases
- formal specification
- protocol specification
- object oriented design
- specification language
- design methodology
- specification languages
- design methodologies
- formal specification language
- model checker
- formal methods
- model checking
- data abstraction
- design process
- reverse engineering
- temporal logic
- key features
- knowledge based systems
- concurrent systems
- user interface
- cooperative
- information systems