Challenges in embedded model checking - a simulator for the [mc]square model checker - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Thomas Reinbacher, Martin Kramer, Martin Horauer, Bastian Schlich. Challenges in embedded model checking - a simulator for the [mc]square model checker. In IEEE Third International Symposium on Industrial Embedded Systems - SIES 2008, Montpellier / La Grande Motte, France, 11-13 June 2008. pages 245-248, IEEE, 2008. [doi]

This author has not been identified. Look up 'Thomas Reinbacher' in GoogleThis author has not been identified. Look up 'Martin Kramer' in GoogleThis author has not been identified. Look up 'Martin Horauer' in GoogleThis author has not been identified. Look up 'Bastian Schlich' in Google

runs on WebDSL