Autor der Publikation

What Is a Derived Signature Morphism?

, , und . WADT, Volume 9463 von Lecture Notes in Computer Science, Seite 90-109. Springer, (2014)

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

Implementability of requirements in the four-variable model., , und . Sci. Comput. Program., (2015)Separating Safety and Control Systems to Reduce Complexity., , und . Conquering Complexity, Springer, (2012)Safety Case Impact Assessment in Automotive Software Systems: An Improved Model-Based Approach., , , , und . SAFECOMP, Volume 10488 von Lecture Notes in Computer Science, Seite 69-85. Springer, (2017)Combining Static and Dynamic Impact Analysis for Large-Scale Enterprise Systems., , und . PROFES, Volume 8892 von Lecture Notes in Computer Science, Seite 224-238. Springer, (2014)A Separation Principle for Embedded System Interfacing., , und . IFM, Volume 8739 von Lecture Notes in Computer Science, Seite 373-388. Springer, (2014)Hierarchical Multiset Theories of Cardinality-Based Feature Diagrams., und . TASE, Seite 136-143. IEEE Computer Society, (2016)Impact Analysis via Reachability and Alias Analysis., , und . PoEM, Volume 197 von Lecture Notes in Business Information Processing, Seite 261-270. Springer, (2014)Model management for regulatory compliance: a position paper., , , , und . MiSE@ICSE, Seite 74-80. ACM, (2016)A Query Structured Approach for Model Transformation., , und . AMT@MoDELS, Volume 1277 von CEUR Workshop Proceedings, Seite 54-63. CEUR-WS.org, (2014)Analysis of Source-to-Target Model Transformations in QueST., , , und . AMT@MoDELS, Volume 1500 von CEUR Workshop Proceedings, Seite 46-55. CEUR-WS.org, (2015)