8 Titel in Klassifikation (DDC)
Klassifikation
Schliessen
Filter
1

zu den Filteroptionen

Full semantics preservation in model transformation
Semenyak, Maria
2011
Fuzzy matching of comprehensive service specifications
Platenius, Marie Christin ; Schäfer, Wilhelm ; Engels, Gregor ; Becker, Steffen ; Wehrheim, Heike ; Inverardi, Paola ; Hüllermeier, Eyke
Elektronische Ressource, Paderborn, 2016
Generische Refactoring-Spezifikation für Korrektheitsbeweise in mehrsichtigen Modellsprachen
Ruhroth, Thomas
2011
Graph transformation planning with time and concurrency
Ziegert, Steffen ; Wehrheim, Heike ; Schäfer, Wilhelm
Elektronische Ressource, Paderborn, 2016
Induction-based Verification of Timed Systems
Isenberg, Tobias ; Wehrheim, Heike ; Niggemann, Oliver
Elektronische Ressource, Paderborn, 2016
Systematic development and re-use of model transformations
Besova, Galina ; Engels, Gregor ; Suhl, Leena
2015
Three-valued abstraction and heuristic-guided refinement for verifying concurrent systems
Timm, Nils
2013
Verification of infinite-state graph transformation systems via abstraction
Steenken, Dominik
2015