Statematebasierte Modellierung und Verifikation von Steuerungssystemen: Konzepte und Anwendung
Location-aware mobile multimedia applications on the Niccimon platform
Energieinformatik 2010 : Tagungsband ; 18. und 19. November 2010
IKT Integration von Elektromobilitaet in ein zukuenftiges Smart Grid
Eine Generische Gefaehrdungsliste fuer Fahrerlose Transportsysteme in der Intralogistik
Model-based toolchain for the efficient development of safety-relevant automotive embedded systems
A contract-based installation methodology for safety-related automotive systems