Computer supported test generation from SDL specifications

Anders Ek, Jan Ellsberger, Anthony Wiles. Computer supported test generation from SDL specifications. In Son T. Vuong, Samuel T. Chanson, editors, Protocol Specification, Testing and Verification XIV, Proceedings of the Fourteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Vancouver, BC, Canada, 1994. Volume 1 of IFIP Conference Proceedings, pages 351-358, Chapman & Hall, 1994.

Abstract

Abstract is missing.