The Crisis Management System - A Case Study on Aspect-Oriented Modelling with UPPAAL

Iqbal, J.; Tsiopoulos, L.; Truscan, D.; Vain, J.; Porres, I. (2016). The Crisis Management System - A Case Study on Aspect-Oriented Modelling with UPPAAL. Turku: Turku Centre for Computer Science.
raamat/monograafia
Iqbal, J.; Tsiopoulos, L.; Truscan, D.; Vain, J.; Porres, I.
  • Inglise
Turku
Turku Centre for Computer Science
1239-1891
978-952-12-3473-6
TUCS Technical Report
1169, November 2016
2016
132
34
Ilmunud
2.5. Projekti, tellitud teadustöö või analüüsi publitseeritud raport