ADA, a well suited language for specification and implementation of protocols

Richard Castanet, A. Dupeux, Pascal Guitton. ADA, a well suited language for specification and implementation of protocols. In Michel Diaz, editor, Protocol Specification, Testing and Verification V, Proceedings of the IFIP WG6.1 Fifth International Conference on Protocol Specification, Testing and Verification, Toulouse-Moissac, France, June 10-13, 1985. pages 247-258, North-Holland, 1985.

Abstract

Abstract is missing.