Formal Methods in Communication Protocol Design.

Gregor v. Bochmann Carl A. Sunshine

Published in: IEEE Trans. Commun. (1980)

Keyphrases

formal methods
communication protocol
artificial intelligence
design process
development lifecycle
neural network
building blocks
model checking
formal specification
information systems
case study
sensor networks
metamodel
modeling language