An Approach for Validation, Verification, and Model-Based Testing of UML-Based Real-Time Systems

Mehdi Nobakht, Dragos Truscan

    Forskningsoutput: Kapitel i bok/konferenshandlingKonferensbidragVetenskapligPeer review

    OriginalspråkOdefinierat/okänt
    Titel på gästpublikationICSEA 2013, The Eighth International Conference on Software Engineering Advances
    RedaktörerL Lavazza, R Oberhauser, A Martin, J Hassine, M Gebhart, M Jäntti
    FörlagIaria xps press
    Sidor79–85
    ISBN (tryckt)978-1-61208-304-9
    StatusPublicerad - 2013
    MoE-publikationstypA4 Artikel i en konferenspublikation
    EvenemangInternational Conference on Software Engineering Advances, ICSEA - The Eighth International Conference on Software Engineering Advances, ICSEA 2013
    Varaktighet: 27 okt 20131 nov 2013

    Konferens

    KonferensInternational Conference on Software Engineering Advances, ICSEA
    Period27/10/1301/11/13

    Citera det här