Formal Test-Driven Development with Verified Test Cases

Stefan Tiran (Vortragende:r), Bernhard K. Aichernig, Florian Lorber

    Publikation: Beitrag in Buch oder TagungsbandVortrag mit Beitrag in TagungsbandBegutachtung

    OriginalspracheEnglisch
    TitelProceedings of the 2nd International Conference on Model-Driven Engineering and Software Development
    Seitenumfang10
    PublikationsstatusVeröffentlicht - 2014
    VeranstaltungMODELSWARD 2014 -
    Dauer: 7 Jan. 20149 Jan. 2014

    Konferenz

    KonferenzMODELSWARD 2014
    Zeitraum7/01/149/01/14

    Research Field

    • Ehemaliges Research Field - Digital Safety and Security

    Diese Publikation zitieren