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

Mehdi Nobakht, Dragos Truscan

    Research output: Book/ReportCommissioned reportProfessional

    Original languageUndefined/Unknown
    PublisherTurku Centre for Computer Science (TUCS)
    ISBN (Print)978-952-12-2925-1
    Publication statusPublished - 2013
    MoE publication typeD4 Published development or research report or study

    Cite this