Deriving a Formal Model of an Interactive System from its UIL Description in order to Verify and Test its Behaviour - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Bruno d Ausbourg, Guy Durrieu, Pierre Roché. Deriving a Formal Model of an Interactive System from its UIL Description in order to Verify and Test its Behaviour. In François Bodart, Jean Vanderdonckt, editors, Design, Specification and Verification of Interactive Systems 96, Proceedings of the Third International Eurographics Workshop, June 5-7, 1996, Namur, Belgium. pages 105-122, Springer, 1996.

This author has not been identified. Look up 'Bruno d Ausbourg' in GoogleThis author has not been identified. Look up 'Guy Durrieu' in GoogleThis author has not been identified. Look up 'Pierre Roché' in Google

runs on WebDSL