Energieinformatik 2010 : Tagungsband ; 18. und 19. November 2010
Abschlussbericht ZuNaMi : Berichtszeitraum: 01.01.2008 bis 30.06.2008
A contract-based installation methodology for safety-related automotive systems
Statematebasierte Modellierung und Verifikation von Steuerungssystemen: Konzepte und Anwendung
Eine Generische Gefaehrdungsliste fuer Fahrerlose Transportsysteme in der Intralogistik