Autor(en)
Dziwok, Stefan; Schäfer, Wilhelm [Akademischer Betreuer]; Tichy, Matthias [Akademischer Betreuer]
Titel
Specification and verification for real-time coordination protocols of cyber-physical systems
Ort / Verlag
Paderborn
Erscheinungsjahr
2017
Links zum Volltext
Verknüpfte Titel
Beschreibungen
Tag der Verteidigung: 05.09.2017
Dissertation: Universität Paderborn (2017)
Format
1 Online-Ressource (XVI, 429 Seiten) : Diagramme
Sprache(n)
Englisch
Identifikator(en)
Links zum Inhalt
Schlagwörter
Hochschulschrift
Systemstelle
Signatur
Die Universität der Informationsgesellschaft