Model Checking UML Statechart Diagrams Using JACK - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Stefania Gnesi, Diego Latella, Mieke Massink. Model Checking UML Statechart Diagrams Using JACK. In 4th IEEE International Symposium on High-Assurance Systems Engineering (HASE 99), 17-19 November 1999, Washington, D.C, USA, Proceedings. pages 46-55, IEEE Computer Society, 1999. [doi]

This author has not been identified. Look up 'Stefania Gnesi' in GoogleThis author has not been identified. Look up 'Diego Latella' in GoogleThis author has not been identified. Look up 'Mieke Massink' in Google

runs on WebDSL