„Graphtransformation“

Suchergebnisse

40 Treffer

• Inductive invariant checking with partial negative application conditions
  Dyck, Johannes ; Giese, Holger 2015 Universität Potsdam
• Probabilistic timed graph transformation systems
  Maximova, Maria ; Giese, Holger ; Krause, Christian 2017 Universität Potsdam
• k-Inductive invariant checking for graph transformation systems
  Dyck, Johannes ; Giese, Holger 2017 Universität Potsdam
• Automatic verification of behavior preservation at the transformation level for relational model transformation
  Dyck, Johannes ; Giese, Holger ; Lambers, Leen 2017 Universität Potsdam
• K-inductive invariant checking for graph transformation systems
  Dyck, Johannes ; Giese, Holger 2017 Universitätsverlag Potsdam
• Automatic verification of behavior preservation at the transformation level for relational model transformation
  Dyck, Johannes ; Giese, Holger ; Lambers, Leen 2017 Universitätsverlag
• Synchronisation von Dateibäumen mit Hilfe von Graphtransformationssystemen
  Hodek, Roman 2001 Inst. für Informatik
• Probabilistic timed graph transformation systems
  Maximova, Maria ; Giese, Holger ; Krause, Christian 2017 Universitätsverlag Potsdam
• Inductive invariant checking with partial negative application conditions
  Dyck, Johannes ; Giese, Holger 2015 Universitätsverlag
• Ein graphbasierter Formalismus zur Programmmanipulation
  Stadler, Bernhard 2013 Universität Passau
• Symbolic model generation for graph properties
  Schneider, Sven ; Lambers, Leen ; Orejas, Fernando 2017 Universität Potsdam
• Konzeption und Implementierung einer Anwendungsumgebung für attributierte Graphtransformation basierend auf Mathematica
  Adamek, Jochen 2020 Technische Universität Berlin
• Symbolic model generation for graph properties
  Schneider, Sven ; Lambers, Leen ; Orejas, Fernando 2017 Universitätsverlag
• Konzeption und Implementierung einer Anwendungsumgebung für attributierte Graphtransformation basierend auf Mathematica
  Adamek, Jochen 2009 TU, Professoren der Fak. IV
• Analysis and Abstraction of Graph Transformation Systems via Type Graphs
  Nolte, Dennis ; König, Barbara 2019 Universität Duisburg-Essen
• Composite modeling based on distributed graph transformation and the eclipse modeling framework
  Jurack, Stefan
• Bedingte verteilte Graphtransformation und ihre Anwendung auf verteilte Transaktionen
  Koch, Manuel 1997 Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4
• Weiterentwicklung einer Kognitiven Systemarchitektur auf Basis von Graphtransformationen
  Matzner, Alexander 2010 Kovač
• Graphtransformation mit Ontologien
  Sindt, Thomas
• SAT-basierte Verifikation von Graphtransformationseinheiten
  Ermler, Marcus