Specification-based Verification of Embedded Systems by Automated Test Case Generation

Christoph Kirchsteiger, Christoph Trummer, Christian Steger, Reinhold Weiß, Markus Pistauer

Institut für Technische Informatik (4480)

Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

1 Ergebnisse

Laufend
Hardware/Software-Codesign
Steger, C., Seifert, C., Stelzer, P., Fiala, G. & Basic, F.
1/01/95 → …
Projekt: Arbeitsgebiet