Test sequence generation using Estelle or SDL structure information

Marc Phalippou. Test sequence generation using Estelle or SDL structure information. In Dieter Hogrefe, Stefan Leue, editors, Formal Description Techniques VII, Proceedings of the 7th IFIP WG6.1 International Conference on Formal Description Techniques, Berne, Switzerland, 1994. Volume 6 of IFIP Conference Proceedings, pages 415-430, Chapman & Hall, 1994.

Authors

Marc Phalippou

This author has not been identified. Look up 'Marc Phalippou' in Google