Energieinformatik 2010 : Tagungsband ; 18. und 19. November 2010
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