Energieinformatik 2010 : Tagungsband ; 18. und 19. November 2010
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
IKT Integration von Elektromobilitaet in ein zukuenftiges Smart Grid
Location-aware mobile multimedia applications on the Niccimon platform
Model-based toolchain for the efficient development of safety-relevant automotive embedded systems