( en | de | ru )

 

Disambiguierung von "Karsai, G'abor"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Towards Verifying Model Transformations

, und . Electronic Notes in Theoretical Computer Science, (April 2008)
DOI: 10.1016/j.entcs.2008.04.041

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.

Syrus Karsai

 

Weitere Publikationen von Autoren mit dem selben Namen

Improving the Usability of a Graph Transformation Language, , , , und . Electronic Notes in Theoretical Computer Science, (März 2006)The design of a language for model transformations, , , , und . Software and Systems Modeling (SoSyM), 5 (3): 261--288 (September 2006)On the Correctness of Model Transformations in the Development of Embedded Systems, und . (2007)Applying a Model Transformation Taxonomy to Graph Transformation Technology, , , und . Electronic Notes in Theoretical Computer Science, (März 2006)On metamodel composition, , , , und . Control Applications, 2001. (CCA '01). Proceedings of the 2001 IEEE International Conference on, Seite 756--760. (2001)Composing Domain-Specific Design Environments, , , , , , und . Computer, 34 (11): 44--51 (November 2001)Reusable Idioms and Patterns in Graph Transformation Languages, , , , , und . Electronic Notes in Theoretical Computer Science, 127 (1): 181--192 (März 2005)On the Use of Graph Transformation in the Formal Specification of Model Interpreters, , , und . J. UCS, 9 (11): 1296--1321 (2003)Towards Verifying Model Transformations, und . Electronic Notes in Theoretical Computer Science, (April 2008)