From Protocol Specification to Implementation and Test.

Heinz Jürgen Burkhardt Hans Eckert

Published in: Networking in Open Systems (1986)

Keyphrases

data intensive
protocol specification
artificial intelligence
case study
test cases
formal methods
communication protocols