Statematebasierte Modellierung und Verifikation von Steuerungssystemen: Konzepte und Anwendung
Energieinformatik 2010 : Tagungsband ; 18. und 19. November 2010
Eine Generische Gefaehrdungsliste fuer Fahrerlose Transportsysteme in der Intralogistik