Autor der Publikation

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

Anforderungsanalyse in der modellbasierten Entwicklung am Beispiel von AutoFocus., , und . Softwaretechnik-Trends, (2004)Model-Driven In-the-Loop Validation: Simulation-Based Testing of UAV Software Using Virtual Environments., , , , , , und . ECBS, Seite 269-275. IEEE Computer Society, (2011)Eine vergleichende Fallstudie von acht CASE-Werkzeugen für formale und semi-formale Beschreibungstechniken., , , und . FBT, Seite 103-112. Herbert Utz Verlag, (1999)10 Years Focus - Lessons learned., und . FBT, Seite 111-120. Verlag Shaker, (2000)AutoMoDe - Model-Based Development of Automotive Software, , , , , und . CoRR, (2007)Guest editorial to the special issue on "modeling: foundations and applications" (MODELS 2013)., , , und . Software and Systems Modeling, 16 (2): 309-311 (2017)SoSyM special section on service-based software engineering., , , und . Software and Systems Modeling, 5 (2): 170-171 (2006)Traffic Lights - An AutoFocus Case Study., , , , und . ACSD, Seite 282-294. IEEE Computer Society, (1998)Consistent Integration of Formal Methods., , , und . TACAS, Volume 1785 von Lecture Notes in Computer Science, Seite 48-62. Springer, (2000)Semantic Clone Detection for Model-Based Development of Embedded Systems., , und . MoDELS, Volume 6981 von Lecture Notes in Computer Science, Seite 258-272. Springer, (2011)