Formal Methods and Conformance Testing --or-- What are we testing anyway? - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Stefan Heymer, Jens Grabowski. Formal Methods and Conformance Testing --or-- What are we testing anyway?. In Hartmut König, Peter Langendörfer, editors, Formale Beschreibungstechniken für verteilte Systeme, 8. GI/ITG-Fachgespräch, Cottbus, 4. und 5. Juni 1998. pages 14-25, Verlag Shaker, 1998.

This author has not been identified. Look up 'Stefan Heymer' in GoogleThis author has not been identified. Look up 'Jens Grabowski' in Google

runs on WebDSL