The Crisis Management System - a case study on aspect-oriented modelling with UPPAAL
statement of authorship
Junaid Iqbal, Dragos Truscan and Ivan Porres, Leonidas Tsiopoulos, Juri Vain
location of publication
Turku
publisher
year of publication
pages
32 p. : ill
series
TUCS technical report ; 1169
keyword
aspect-oriented modelling
aspect weaving
compositional verification
compositional testing
ISBN
978-952-12-3473-6
ISSN
1239-1891
notes
Bibliogr.: 13 ref
TTÜ department
language
inglise
Iqbal, J., Truscan, D., Porres, I., Tsiopoulos, L., Vain, J. The Crisis Management System - a case study on aspect-oriented modelling with UPPAAL. Turku : Turku Centre for Computer Science, 2016. 32 p. : ill. (TUCS technical report ; 1169).