Autor der Publikation

On an Automated Translation of Satellite Procedures Using Triple Graph Grammars.

, , , , , , und . ICMT, Volume 7909 von Lecture Notes in Computer Science, Seite 50-51. Springer, (2013)

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

Conformance Analysis of Organizational Models: A New Enterprise Modeling Framework using Algebraic Graph Transformation., und . IJISMD, 4 (1): 42-78 (2013)Behaviour Simulation and Equivalence of Systems Modelled by Graph Transformation., , , und . Bulletin of the EATCS, (2009)Process Definition using Subobject Transformation Systems., und . Bulletin of the EATCS, (2008)Formal analysis of model transformations based on triple graph grammars., , , und . Mathematical Structures in Computer Science, (2014)Generation and Evaluation of Business Continuity Processes using Algebraic Graph Transformation and the mCRL2 Process Algebra., , und . Journal of Research and Practice in Information Technology, 43 (1): 65-86 (2011)Towards Translating Graph Transformation Approaches by Model Transformations., , und . ECEASST, (2006)Graph and Model Transformation - General Framework and Applications, , , und . Monographs in Theoretical Computer Science. An EATCS Series Springer, (2015)Model synchronization based on triple graph grammars: correctness, completeness and invertibility., , , , , , , und . Software and Systems Modeling, 14 (1): 241-269 (2015)Concurrent Model Synchronization with Conflict Resolution Based on Triple Graph Grammars., , , und . FASE, Volume 7212 von Lecture Notes in Computer Science, Seite 178-193. Springer, (2012)Sesqui-Pushout Rewriting., , , und . ICGT, Volume 4178 von Lecture Notes in Computer Science, Seite 30-45. Springer, (2006)