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
Verknüpfte Titel
Beschreibungen
Tag der Verteidigung: 05.09.2017
Dissertation: Universität Paderborn (2017)
Format
XVI, 429 Seiten : Diagramme
Sprache(n)
Englisch
Identifikator(en)
Links zum Inhalt
Schlagwörter
Hochschulschrift
Systemstelle
Signatur
PQ1113

Exemplare

SignaturLeihartStandortStatusLeihfrist
PQ1113Nicht ausleihbar
Magazin J
Nicht entliehen

Das im Magazin J befindlichen Archivexemplar der Paderborner Dissertation ist nicht ausleihbar. Bitte nutzen Sie - sofern vorhanden - die Online-Ausgabe (s.o. Rubrik "Verknüpfte Titel") oder ein anderes Printexemplar.

Die Universität der Informationsgesellschaft