Protocol Conformance Testing: A Formal Perspective on ISO IS-9646.

Jan Tretmans Pim Kars Ed Brinksma

Published in: Protocol Test Systems (1991)

Keyphrases

formal analysis
protocol specification
lightweight
viewpoint
formal specification
software testing
tcp ip
coloured petri nets
neural network
test cases
formal methods
security analysis
communication protocols
network protocols