The Crisis Management System - a case study on aspect-oriented modelling with UPPAAL

vastutusandmed
Junaid Iqbal, Dragos Truscan and Ivan Porres, Leonidas Tsiopoulos, Juri Vain
ilmumiskoht
Turku
kirjastus/väljaandja
ilmumisaasta
leheküljed
32 p. : ill
seeria-sari
TUCS technical report ; 1169
võtmesõna
aspect-oriented modelling
aspect weaving
compositional verification
compositional testing
ISBN
978-952-12-3473-6
ISSN
1239-1891
märkused
Bibliogr.: 13 ref
TTÜ struktuuriüksus
keel
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). http://tucs.fi/publications/view/?pub_id=tIqTsTrVaPo16a