Autor der Publikation

Using Bounded Model Checking for Coverage Analysis of Safety-Critical Software in an Industrial Setting.

, , , , und . J. Autom. Reasoning, 45 (4): 397-414 (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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Available and safe message freshness detection algorithm., , , , und . IJCCBS, 1 (4): 336-363 (2010)A Freshness Detection Mechanism for Railway Applications., , , , und . PRDC, Seite 292-301. IEEE Computer Society, (2004)Automatic Test Generation for Coverage Analysis Using CBMC., , , , und . EUROCAST, Volume 5717 von Lecture Notes in Computer Science, Seite 287-294. Springer, (2009)Using Bounded Model Checking for Coverage Analysis of Safety-Critical Software in an Industrial Setting., , , , und . J. Autom. Reasoning, 45 (4): 397-414 (2010)A Preliminary Apportionment of Safety Targets for Virtual Balise Detection using GNSS in Future Evolutions of ERTMS., , , , und . ITST, Seite 1-8. IEEE, (2018)Improving the Automatic Test Generation process for Coverage Analysis using CBMC., , , , , und . RCRA@AI*IA, Volume 589 von CEUR Workshop Proceedings, CEUR-WS.org, (2009)Local GNSS Threat Detection Methods for Virtual Balise Placement in Railway Applications., , , , , , , , , und 1 andere Autor(en). ITST, Seite 1-7. IEEE, (2018)Automatic Test Generation for Coverage Analysis of ERTMS Software., , , , und . ICST, Seite 303-306. IEEE Computer Society, (2009)