Titel |
Probabilistic metric temporal graph logic / Sven Schneider, Maria Maximova, Holger Giese |
|---|---|
Beteiligt |
Sven Schneider (Verfasser) |
Erschienen |
Potsdam: Universität Potsdam |
Umfang |
Online-Ressource |
Sprache |
|
Land |
|
Themengebiet |
|
Thema |
cyber-physische Systeme
probabilistische gezeitete Systeme qualitative Analyse quantitative Analyse
Bounded Model Checking
cyber-physical systems probabilistic timed systems qualitative analysis quantitative analysis bounded model checking |
DDC-Notation |
|
Reihe |
Technische Berichte des Hasso-Plattner-Instituts für Digital Engineering an der Universität Potsdam ; 140 |
Persistent Identifier |
urn:nbn:de:kobv:517-opus4-515066 (URN) |
Datensatz-ID |
1279706740 |
Hinweis
Die Betaversion beinhaltet noch nicht alle Funktionen und Informationen des Katalogs des DNB-Portals. Falls Sie Informationen vermissen oder ein Medium bestellen wollen, besuchen Sie bitte die entsprechende Seite im Katalog des DNB-Portals über folgenden Link: