Automated Verification of AADL-Specifications Using UPPAAL - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Andreas Johnsen, Kristina Lundqvist, Paul Pettersson, Omar Jaradat. Automated Verification of AADL-Specifications Using UPPAAL. In 14th International IEEE Symposium on High-Assurance Systems Engineering, HASE 2012, Omaha, NE, USA, October 25-27, 2012. pages 130-138, IEEE Computer Society, 2012. [doi]

This author has not been identified. Look up 'Andreas Johnsen' in GoogleThis author has not been identified. Look up 'Kristina Lundqvist' in GoogleThis author has not been identified. Look up 'Paul Pettersson' in GoogleThis author has not been identified. Look up 'Omar Jaradat' in Google

runs on WebDSL