Modeling and Formal Analysis of Meta-Ecosystems with Dynamic Structure using Graph Transformation
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
Technische Berichte des Hasso-Plattner-Instituts für Digital Engineering an der Universität Potsdam ; 147
- Event
-
Veröffentlichung
- (where)
-
Potsdam
- (who)
-
Universität Potsdam
- (when)
-
2022
- Event
-
Veröffentlichung
- (where)
-
Potsdam
- (who)
-
Universitätsverlag Potsdam
- (when)
-
2022
- Creator
-
Flotterer, Boris
Maximova, Maria
Schneider, Sven
Dyck, Johannes
Zöllner, Christian
Giese, Holger
Hély, Christelle
Gaucherel, Cédric
- DOI
-
10.25932/publishup-54764
- URN
-
urn:nbn:de:kobv:517-opus4-547643
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:21 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Flotterer, Boris
- Maximova, Maria
- Schneider, Sven
- Dyck, Johannes
- Zöllner, Christian
- Giese, Holger
- Hély, Christelle
- Gaucherel, Cédric
- Universität Potsdam
- Universitätsverlag Potsdam
Time of origin
- 2022
Other Objects (12)
Probabilistic metric temporal graph logic
Probabilistic metric temporal graph logic
Interval probabilistic timed graph transformation systems
Formal testing of timed graph transformation systems using metric temporal graph logic
Compositional analysis of probabilistic timed graph transformation systems
Invariant analysis for multi-agent graph transformation systems using k-induction
Probabilistic metric temporal graph logic
Probabilistic metric temporal graph logic
Interval probabilistic timed graph transformation systems
Compositional analysis of probabilistic timed graph transformation systems
Invariant Analysis for Multi-Agent Graph Transformation Systems using k-Induction
Metric temporal graph logic over typed attributed graphs
Probabilistic metric temporal graph logic
Probabilistic metric temporal graph logic
Interval probabilistic timed graph transformation systems
Formal testing of timed graph transformation systems using metric temporal graph logic
Compositional analysis of probabilistic timed graph transformation systems
Invariant analysis for multi-agent graph transformation systems using k-induction
Probabilistic metric temporal graph logic
Probabilistic metric temporal graph logic
Interval probabilistic timed graph transformation systems
Compositional analysis of probabilistic timed graph transformation systems
Invariant Analysis for Multi-Agent Graph Transformation Systems using k-Induction
Metric temporal graph logic over typed attributed graphs
Probabilistic metric temporal graph logic
Probabilistic metric temporal graph logic
Interval probabilistic timed graph transformation systems
Formal testing of timed graph transformation systems using metric temporal graph logic
Compositional analysis of probabilistic timed graph transformation systems
Invariant analysis for multi-agent graph transformation systems using k-induction
Probabilistic metric temporal graph logic
Probabilistic metric temporal graph logic
Interval probabilistic timed graph transformation systems
Compositional analysis of probabilistic timed graph transformation systems
Invariant Analysis for Multi-Agent Graph Transformation Systems using k-Induction