Tool Support for Transforming UML-Based Specifications to UPPAAL Timed Automata

Mehdi Nobakht, Dragos Truscan

    Forskningsoutput: Bok/tidskrift/rapportBeställd rapportProfessionell

    OriginalspråkOdefinierat/okänt
    FörlagTurku Centre for Computer Science (TUCS)
    ISBN (tryckt)978-952-12-2925-1
    StatusPublicerad - 2013
    MoE-publikationstypD4 Publicerad utvecklings- eller forskningsrapport eller studie

    Citera det här