Formal Test-Driven Development with Verified Test Cases

Bernhard Aichernig, Florian Lukas Lorber, Stefan Tiran

Institut für Softwaretechnologie (7160)

Publikation: Buch/Bericht/Konferenzband › Sonstiger Bericht

1 Ergebnisse

Abgeschlossen
EU - MBAT - Combined Model-based Analysis and Testing of Embedded Systems
Lorber, F. L., Tiran, S. & Aichernig, B.
1/11/11 → 31/10/14
Projekt: Forschungsprojekt