A Tool-Supported Approach for Introducing Aspects in UPPAAL Timed Automata

Dragos Truscan, Jüri Vain, Martin Koskinen, Junaid Iqbal

Research output: Chapter in Book/Conference proceedingChapterScientificpeer-review

Original languageUndefined/Unknown
Title of host publicationSoftware Technologies - 9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014, Revised Selected Papers
EditorsA Holzinger, J Cardoso, J Cordeiro, T Libourel, L Maciaszek, M Sinderen
ISBN (Electronic)978-3-319-25579-8
ISBN (Print)978-3-319-25578-1
Publication statusPublished - 2015
MoE publication typeA3 Part of a book or another research book

Cite this