Formal techniques for the specification, verification and construction of communication protocols.
Tat Y. ChoiPublished in: IEEE Commun. Mag. (1985)
Keyphrases
- protocol specification
- communication protocols
- formal specification
- formal methods
- model checking
- process algebra
- communication protocol
- specification languages
- formal verification
- concurrent systems
- neural network
- asynchronous circuits
- communication networks
- formal language
- road network
- protocol stack
- decision support