Autor der Publikation

Using Instrumentation for Quality Assessment of Resilient Software in Embedded Systems.

, , und . SERENE, Volume 8785 von Lecture Notes in Computer Science, Seite 139-153. 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

Coupling petri nets with deterministic formalisms using co-simulation., , , , und . SpringSim (TMS-DEVS), Seite 6. ACM, (2016)Considering Execution Environment Resilience: A White-Box Approach., , , und . SERENE, Volume 9274 von Lecture Notes in Computer Science, Seite 46-61. Springer, (2015)Automated Test Case Generation for the CTRL Programming Language Using Pex: Lessons Learned., , , und . SERENE, Volume 9823 von Lecture Notes in Computer Science, Seite 117-132. Springer, (2016)Using Instrumentation for Quality Assessment of Resilient Software in Embedded Systems., , und . SERENE, Volume 8785 von Lecture Notes in Computer Science, Seite 139-153. Springer, (2014)