Formal Test-Driven Development with Verified Test Cases

Bernhard Aichernig
, Florian Lukas Lorber
, Stefan Tiran

Institute of Software Engineering and Artificial Intelligence (7160)

Publikation: Buch/Bericht/Konferenzband › Sonstiger Bericht

1 Ergebnisse

Abgeschlossen
EU - MBAT - Combined Model-based Analysis and Testing of Embedded Systems
Aichernig, B. (Projektleiter), Lorber, F. L. (Teilnehmer / Mitarbeiter) & Tiran, S. (Teilnehmer / Mitarbeiter)
1/11/11 → 31/12/13
Projekt: Forschungsprojekt