« Publikationen
Verifying functional and non-functional properties of manufacturing control systems
Preuße, Sebastian ; Hanisch, Hans-Michael
3rd International Workshop on Dependable Control of Discrete Systems 2011, DCDS 2011, Saarbrücken, Germany, 15th-17theJune 2011, S. 41-46
Bibliographie: Konferenz/Aufsatz
Weitere Publikationen der Autoren