L Schleupner - Internet der Dinge: Echtzeit 2016, 2016 - Springer
Kommunikationsnetze der Automatisierungstechnik in der Produktion von Gütern erfahren aktuell im Rahmen von Industrie 4.0 ebenso eine Veränderung wie der …
Im Software Engineering werden heutzutage verstärkt modellbasierte Entwicklungsansätze eingesetzt, in denen konzeptuelle Modelle mit präzise definierter Semantik für die …
Mit der wachsenden Verbreitung dreidimensionaler Benutzungsschnittstellen wächst auch das Interesse, diese für kreative, konzeptionelle Entwurfstätigkeiten einzusetzen …
In dieser Arbeit wird ein Ansatz zur Verifikation von Statecharts mit unendlichen Daten vorgestellt. Es wird ein Verfahren konzipiert, mit dem die Gültigkeit einer temporallogischen …
Perfekt sichere Kommunikation in der Automatisierungstechnik Page 1 Perfekt sichere Kommunikation in der Automatisierungstechnik Dissertation zur Erlangung des akademischen …