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

Mehdi Nobakht, Dragos Truscan

    Tutkimustuotos: Kirja/lehti/raporttiTutkimusraporttiAmmatillinen

    AlkuperäiskieliEi tiedossa
    KustantajaTurku Centre for Computer Science (TUCS)
    ISBN (painettu)978-952-12-2925-1
    TilaJulkaistu - 2013
    OKM-julkaisutyyppiD4 Julkaistut kehitykset tai tutkimusraportit tai tutkimukset

    Viittausmuodot