Testing of protocol implementations. A systematic approach to derivation of test sequences form global protocol specifications

• Authors:

• Heinz Jürgen Burkhardt;Hans Eckert;Alfred Giessler

• Affiliations:

• -;-;-

• Venue:
• Proceedings of the IFIP WG6.1 Fifth International Conference on Protocol Specification, Testing and Verification V
• Year:
• 1985