Combining Aspect-Orientation and UPPAAL Timed Automata

Dragos Truscan, J Vain, M Koskinen

Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

2 Citeringar (Scopus)

1 resultat

Filter

Slutfört

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
Projekt: Företag/Business Finland