A tool-supported approach for introducing aspects in UPPAAL timed automata

vastutusandmed
Dragos Truscan, Jüri Vain, Martin Koskinen, and Junaid Iqbal
allikas
Software technologies : 9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014 : revised selected papers
ilmumiskoht
Cham
kirjastus/väljaandja
ilmumisaasta
leheküljed
p. 349-364
seeria-sari
Communications in computer and information science ; 555
võtmesõna
ISSN
1865-0929
ISBN
978-3-319-25578-1
märkused
Includes bibliogr
TTÜ struktuuriüksus
keel
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 International Publishing, 2015. p. 349-364. (Communications in computer and information science ; 555). http://dx.doi.org/10.1007/978-3-319-25579-8_20