A tool-supported approach for introducing aspects in UPPAAL timed automata
statement of authorship
Dragos Truscan, Jüri Vain, Martin Koskinen, and Junaid Iqbal
source
Software technologies : 9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014 : revised selected papers
location of publication
Cham
publisher
year of publication
pages
p. 349-364
series
Communications in computer and information science ; 555
subject term
keyword
ISSN
1865-0929
ISBN
978-3-319-25578-1
notes
Includes bibliogr
TTÜ department
language
inglise
Truscan, D., Vain, J., Koskinen, M., Iqbal, J. A tool-supported approach for introducing aspects in UPPAAL timed automata // Software technologies : 9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014 : revised selected papers. Cham : Springer, 2015. p. 349-364. (Communications in computer and information science ; 555).