Model-based specification and refinement for cyber-physical systems

Bibliographische Detailangaben

Veröffentlicht in:	International Conference LDIC (5. : 2016 : Bremen) Dynamics in logistics
1. Verfasser:	Drechsler, Rolf (VerfasserIn)
Weitere Verfasser:	Autexier, Serge (VerfasserIn), Lüth, Christoph (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	2017
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!