• Modeling and Formal Analysis o...
  • Bestand

Treffer: Modeling and Formal Analysis of Meta-Ecosystems with Dynamic Structure using Graph Transformation

Titel:
Modeling and Formal Analysis of Meta-Ecosystems with Dynamic Structure using Graph Transformation / Boris Flotterer, Maria Maximova, Sven Schneider, Johannes Dyck, Christian Zöllner, Holger Giese, Christelle Hély, Cédric Gaucherel
Verantwortlich:
Flotterer, Boris (Verfasser); Maximova, Maria (Verfasser) ; Schneider, Sven (Verfasser) ; Dyck, Johannes (Verfasser) ; Zöllner, Christian (Verfasser) ; Giese, Holger (Verfasser) ; Hély, Christelle (Verfasser); Gaucherel, Cédric (Verfasser)
Veröffent­licht:
Potsdam : Universität Potsdam, 2022
Potsdam : Universitätsverlag Potsdam, 2022
Umfang:
1 Online-Ressource
Publikationstyp:
E-Book
Sprache:
Englisch
Schriftenreihe/­Mehrbändiges Werk:
Technische Berichte des Hasso-Plattner-Instituts für Digital Engineering an der Universität Potsdam ; 147
DOI:
10.25932/publishup-54764

Zusatz-Informationen

Zusatz-Funktionen