Modular Verification of Computer Communication Protocols.

Brent Hailpern Susan S. Owicki

Published in: IEEE Trans. Commun. (1983)

Keyphrases

communication protocols
protocol specification
communication protocol
communication networks
model checking
modular structure
computer systems
databases
neural network
data mining
wireless sensor networks
formal methods