Towards the industrial use of validation techniques and automatic test generation methods for SDL specifications - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Anders Ek, Jens Grabowski, Dieter Hogrefe, Richard Jerome, Beat Koch, Michael Schmitt II. Towards the industrial use of validation techniques and automatic test generation methods for SDL specifications. In Ana R. Cavalli, Amardeo Sarma, editors, SDL 97 Time for Testing, SDL, MSC and Trends - 8th International SDL Forum, Evry, France, 23-29 September 1997, Proceedings. pages 245-260, Elsevier, 1997.

This author has not been identified. Look up 'Anders Ek' in GoogleThis author has not been identified. Look up 'Jens Grabowski' in GoogleThis author has not been identified. Look up 'Dieter Hogrefe' in GoogleThis author has not been identified. Look up 'Richard Jerome' in GoogleThis author has not been identified. Look up 'Beat Koch' in GoogleThis author has not been identified. Look up 'Michael Schmitt II' in Google

runs on WebDSL