A Model Checker for AADL - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri, Ralf Wimmer. A Model Checker for AADL. In Tayssir Touili, Byron Cook, Paul Jackson, editors, Computer Aided Verification, 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings. Volume 6174 of Lecture Notes in Computer Science, pages 562-565, Springer, 2010. [doi]

This author has not been identified. Look up 'Marco Bozzano' in GoogleThis author has not been identified. Look up 'Alessandro Cimatti' in GoogleThis author has not been identified. It may be one of the following persons:

Joost-Pieter Katoen

Look up 'Joost-Pieter Katoen' in GoogleThis author has not been identified. Look up 'Viet Yen Nguyen' in GoogleThis author has not been identified. Look up 'Thomas Noll' in GoogleThis author has not been identified. It may be one of the following persons:

Marco Roveri

Look up 'Marco Roveri' in GoogleThis author has not been identified. Look up 'Ralf Wimmer' in Google

runs on WebDSL