( en | de | ru )

 

Disambiguierung von "Boronat, Artur"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Formal Semantics and Analysis of Behavioral AADL Models in Real-Time Maude.

, , und . FMOODS/FORTE, Volume 6117 von Lecture Notes in Computer Science, Seite 47-62. Springer, (2010)

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.

Artur Teuscher

Artur Budnowski

Artur Kessler

Artur Koch

Artur Kraus

 

Weitere Publikationen von Autoren mit dem selben Namen

Automatic Model Generation in Model Management., , und . CIT, Volume 3356 von Lecture Notes in Computer Science, Seite 326-335. Springer, (2004)Expressive and Efficient Model Transformation with an Internal DSL of Xtend.. MoDELS, Seite 78-88. ACM, (2018)Automatic Support for Traceability in a Generic Model Management Framework., , und . ECMDA-FA, Volume 3748 von Lecture Notes in Computer Science, Seite 316-330. Springer, (2005)Transformation of UML Models to CSP: A Case Study for Graph Transformation Tools, , , , , , , , , und 2 andere Autor(en). (2008)YAMTL Solution to the TTC 2018 Social Media Case.. TTC@STAF, Volume 2310 von CEUR Workshop Proceedings, Seite 65-78. CEUR-WS.org, (2018)YAMTL Solution to the TTC 2019 BibtexToDocBook Case.. TTC@STAF, Volume 2550 von CEUR Workshop Proceedings, Seite 73-77. CEUR-WS.org, (2019)Incremental execution of relational transformation specifications in YAMTL: a case with laboratory workflows.. TTC/, Volume 3089 von CEUR Workshop Proceedings, CEUR-WS.org, (2021)Asymmetric and Directed Bidirectional Transformation for Container Orchestrations with YAMTL and EMF-Syncer.. Agile MDE/MeSS/TTC@STAF, Volume 3620 von CEUR Workshop Proceedings, CEUR-WS.org, (2023)Formal Semantics and Analysis of Behavioral AADL Models in Real-Time Maude., , und . FMOODS/FORTE, Volume 6117 von Lecture Notes in Computer Science, Seite 47-62. Springer, (2010)Domain-specific discrete event modelling and simulation using graph transformation., , , , und . Softw. Syst. Model., 13 (1): 209-238 (2014)