Combining Aspect-Orientation and UPPAAL Timed Automata

Dragos Truscan, J Vain, M Koskinen

    Research output: Chapter in Book/Conference proceedingConference contributionScientificpeer-review

    1 Citation (Scopus)
    Original languageUndefined/Unknown
    Title of host publicationProceedings of the 9th International Conference on Software Paradigm Trends
    EditorsA Holzinger, J Cardoso, J Cordeiro, M Sinderen, S Mellor
    PublisherSCITEPRESS Science And Technology Publications
    Pages159–164
    DOIs
    Publication statusPublished - 2014
    MoE publication typeA4 Article in a conference publication
    Eventconference; 2014-08-29; 2014-08-31 - Vienna
    Duration: 29 Aug 201431 Aug 2014

    Conference

    Conferenceconference; 2014-08-29; 2014-08-31
    Period29/08/1431/08/14

    Keywords

    • Aspect-Oriented Modeling
    • UPPAAL Timed Automata

    Cite this