[图书][B] State of the Art der Forschung zur Verwundbarkeit kritischer Infrastrukturen am Beispiel Strom, Stromausfall

J Birkmann, C Bach, S Guhl, M Witting, T Welle… - 2010 - books.google.com
Page 1 Forschungsforum Öffentliche Sicherheit Schriftenreihe Forschungsforum Öffentliche
Sicherheit State of the Art der Forschung zur Verwundbarkeit Kritischer Infrastrukturen am …

Sichere Kommunikation im Umfeld von Industrie 4.0

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 …

Modelltransformationen als Mittel der modellbasierten Entwicklung von Software-Systemen

F Marschall - 2005 - mediatum.ub.tum.de
Im Software Engineering werden heutzutage verstärkt modellbasierte Entwicklungsansätze
eingesetzt, in denen konzeptuelle Modelle mit präzise definierter Semantik für die …

[PDF][PDF] Hybride Interaktionstechniken des immersiven Skizzierens in frühen Phasen der Produktentwicklung

JH Israel - 2010 - depositonce.tu-berlin.de
Mit der wachsenden Verbreitung dreidimensionaler Benutzungsschnittstellen wächst auch
das Interesse, diese für kreative, konzeptionelle Entwurfstätigkeiten einzusetzen …

[PDF][PDF] Verifikation von Statecharts durch struktur-und eigenschaftserhaltende Datenabstraktion

S Helke - 2008 - depositonce.tu-berlin.de
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 …

[PDF][PDF] Perfekt sichere Kommunikation in der Automatisierungstechnik

L Schleupner - 2012 - ub-deposit.fernuni-hagen.de
Perfekt sichere Kommunikation in der Automatisierungstechnik Page 1 Perfekt sichere
Kommunikation in der Automatisierungstechnik Dissertation zur Erlangung des akademischen …