New Challenges in the Development of Critical Embedded Systems - An aeromotive Perspective

Visar Januzaj, Stefan Kugele, Boris Langer, Christian Schallhart, Helmut Veith. New Challenges in the Development of Critical Embedded Systems - An aeromotive Perspective. In Tiziana Margaria, Bernhard Steffen, editors, Leveraging Applications of Formal Methods, Verification, and Validation - 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I. Volume 6415 of Lecture Notes in Computer Science, pages 1-2, Springer, 2010. [doi]

Authors

Visar Januzaj

This author has not been identified. Look up 'Visar Januzaj' in Google

Stefan Kugele

This author has not been identified. Look up 'Stefan Kugele' in Google

Boris Langer

This author has not been identified. Look up 'Boris Langer' in Google

Christian Schallhart

This author has not been identified. Look up 'Christian Schallhart' in Google

Helmut Veith

This author has not been identified. Look up 'Helmut Veith' in Google