Autor der Publikation

Termination Criteria for Model Transformation.

, , , , , und . Transformation Techniques in Software Engineering, Volume 05161 von Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, (2005)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Termination Analysis of Model Transformations by Petri Nets., , , , und . ICGT, Volume 4178 von Lecture Notes in Computer Science, Seite 260-274. Springer, (2006)Optimization in Graph Transformation Systems Using Petri Net Based Techniques., und . ECEASST, (2006)Optimization in Graph Transformation Systems with Time Using Petri Net Based Techniques.. ECEASST, (2012)Optimization of Reconfiguration Mechanisms in Critical Infrastructures., , , , , , und . SAFECOMP Workshops, Volume 9338 von Lecture Notes in Computer Science, Seite 324-334. Springer, (2015)Trajectory Set Approximation for Optimization and Verification of IT Systems. Budapest University of Technology and Economics, Hungary, (2015)Termination Criteria for Model Transformation, , , , , und . 3442, Seite 49--63. (2005)Termination Criteria for Model Transformation., , , , , und . Transformation Techniques in Software Engineering, Volume 05161 von Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, (2005)