Formal Test-Driven Development with Verified Test Cases

Bernhard Aichernig, Florian Lukas Lorber, Stefan Tiran

Publikation: Buch/Bericht/KonferenzbandSonstiger Bericht

Originalspracheenglisch
Verlag.
PublikationsstatusVeröffentlicht - 2012

Fields of Expertise

  • Information, Communication & Computing

Projekte

  • 1 Abschlussdatum

EU - MBAT - Combined Model-based Analysis and Testing of Embedded Systems

Lorber, F. L., Tiran, S. & Aichernig, B.

1/11/1131/10/14

Projekt: Foschungsprojekt

Dieses zitieren