A Tool-Supported Approach for Introducing Aspects in UPPAAL Timed Automata

Dragos Truscan, Jüri Vain, Martin Koskinen, Junaid Iqbal

Forskningsoutput: Kapitel i bok/konferenshandlingKapitelVetenskapligPeer review

Filter
Slutfört

Sökresultat