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

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

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

Sökresultat