Combining Aspect-Orientation and UPPAAL Timed Automata

Dragos Truscan, J Vain, M Koskinen

Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

2 Citations (Scopus)

1 results

Filter

Finished

PAM: Practical Applications of Model-based technologies to continuous integration & testing methodologies
Truscan, D., Ahmad, T., Iqbal, J., Porres Paltor, I. & Siavashi, F.
01/01/12 → 31/12/15
Project: Industry/Business Finland