Formal Methods for Conformance Testing: Results and Perspectives - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Ana R. Cavalli, Jean Philippe Favreau, Marc Phalippou. Formal Methods for Conformance Testing: Results and Perspectives. In Omar Rafiq, editor, Protocol Test Systems, VI, Proceedings of the IFIP TC6/WG6.1 Sixth International Workshop on Protocol Test systems, Pau, France, 28-30 September, 1993. Volume C-19 of IFIP Transactions, pages 3-17, North-Holland, 1993.

This author has not been identified. Look up 'Ana R. Cavalli' in GoogleThis author has not been identified. Look up 'Jean Philippe Favreau' in GoogleThis author has not been identified. Look up 'Marc Phalippou' in Google

runs on WebDSL