State Architecture Notation and Simulation: A Formal Technique for the Specification and Testing of Protocol Systems.
Thomas F. PiatkowskiLap-Kin IpDayun HePublished in: PSTV (1982)
Keyphrases
- reactive systems
- management system
- formal methods
- communication protocol
- formal languages
- formal analysis
- formal specification
- formal model
- lightweight
- simulation tools
- communication protocols
- high level
- colored petri nets
- simulation environment
- mathematical models
- simulation model
- software architecture
- real time
- operational semantics
- enterprise systems
- conceptual model
- asynchronous circuits
- complex systems
- computer systems
- dynamic constraints
- network protocols
- visual languages