On the Benefits of Using Aspect-Orientation in UPPAAL Timed Automata

Jüri Vain, Dragos Truscan, Junaid Iqbal, Leonidas Tsiopoulos

Research output: Chapter in Book/Conference proceedingConference contributionScientificpeer-review

Filter
Finished

Search results