Automatic Testbench Generation for Simulation-based Verification of Safety- Critical Systems in UML

Ralph Peter Weissnegger, Markus Schuß, Christian Josef Kreiner, Markus Pistauer, Kay Uwe Römer, Christian Steger

Institut für Technische Informatik (4480)

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

1 Abgeschlossen
1 Laufend

1 Ergebnisse

Filter

Laufend
Industrial Informatics
Macher, G., Dobaj, J., Krug, T., Blažević, R. & Veledar, O.
1/09/12 → …
Projekt: Arbeitsgebiet