State Architecture Notation and Simulation: A Formal Technique for the Specification and Testing of Protocol Systems.
Thomas F. PiatkowskiLap-Kin IpDayun HePublished in: Comput. Networks (1982)
Keyphrases
- management system
- reactive systems
- formal methods
- formal languages
- highly modular
- lightweight
- formal analysis
- network protocols
- formal model
- distributed systems
- formal specification
- expert systems
- real time
- dynamic constraints
- operational semantics
- communication protocol
- formal language
- colored petri nets
- code generation
- high level
- network simulator
- software development
- state information
- test cases
- simulation models
- computer systems
- finite state machines