Titel |
Metric temporal graph logic over typed attributed graphs : extended version / Holger Giese, Maria Maximova, Lucas Sakizloglou, Sven Schneider |
|---|---|
Beteiligt |
Holger Giese (Verfasser) |
Erschienen |
Potsdam: Universität Potsdam |
Umfang |
Online-Ressource |
Sprache |
|
Land |
|
Themengebiet |
|
Thema |
typisierte attributierte Graphen
metrisch temporale Graph Logic Spezifikation von gezeiteten Graph Transformationen typed attributed graphs
metric termporal graph logic
specification of timed graph transformations nested graph conditions sequence properties symbolic graphs metric temporal logic temporal logic runtime monitoring verschachtelte Anwendungsbedingungen Sequenzeigenschaften symbolische Graphen getypte Attributierte Graphen metrische Temporallogik Temporallogik |
DDC-Notation |
|
Reihe |
Technische Berichte des Hasso-Plattner-Instituts für Digital Engineering an der Universität Potsdam ; 127 |
Persistent Identifier |
|
Datensatz-ID |
1218878975 |
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: