Analysis and Validation of AUTOSAR Models.

Julian Kienberger, Pascal Minnerup, Stefan Kuntz, Bernhard Bauer

Browse the full MODELSWARD paper archive.