Autor der Publikation

Specifying embedded systems with statecharts and Z: an agenda for cyclic software components.

, , und . Sci. Comput. Program., 40 (1): 31-57 (2001)

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

Systematic Testing of Model-Based Code Generators., , , und . IEEE Trans. Software Eng., 33 (9): 622-634 (2007)The AUTOSAR Way of Model-Based Engineering of Automotive Systems.. ICGT, Volume 5214 von Lecture Notes in Computer Science, Seite 38. Springer, (2008)Graph Transformations for Model-based Testing., , , und . Modellierung, Volume P-12 von LNI, Seite 39-50. GI, (2002)Specifying embedded systems with statecharts and Z: an agenda for cyclic software components., , und . Sci. Comput. Program., 40 (1): 31-57 (2001)Eine Integrierte Methodik für die Modell-basierte Entwicklung von Steuergeräte-Software., , , und . MBEES, Volume 2005-1 von Informatik-Bericht, Seite 63-72. TU Braunschweig, Institut für Software Systems Engineering, (2005)Specifying Embedded Systems with Staecharts and Z: An Agenda for Cyclic Software Components., , und . FASE, Volume 1382 von Lecture Notes in Computer Science, Seite 88-106. Springer, (1998)Establishing Evidence for Safety Cases in Automotive Systems - A Case Study., , und . SAFECOMP, Volume 4680 von Lecture Notes in Computer Science, Seite 1-13. Springer, (2007)Efficient Graph Rewriting and Its Implementation. Lecture Notes in Computer Science Springer, (1995)13.Workshop Automotive Software Engineering., und . GI-Jahrestagung, Volume P-246 von LNI, Seite 1579-1580. GI, (2015)Deployment of Model-based Software Development in Safety-related Applications: Challenges and Solutions Scenarios., und . Modellierung, Volume P-82 von LNI, Seite 245-254. GI, (2006)