A Component-Based Approach to Hybrid Systems Safety Verification - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Andreas Müller, Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger, André Platzer. A Component-Based Approach to Hybrid Systems Safety Verification. In Erika Ábrahám, Marieke Huisman, editors, Integrated Formal Methods - 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings. Volume 9681 of Lecture Notes in Computer Science, pages 441-456, Springer, 2016. [doi]

This author has not been identified. Look up 'Andreas Müller' in GoogleThis author has not been identified. Look up 'Stefan Mitsch' in GoogleThis author has not been identified. Look up 'Werner Retschitzegger' in GoogleThis author has not been identified. Look up 'Wieland Schwinger' in GoogleThis author has not been identified. Look up 'André Platzer' in Google

runs on WebDSL