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

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

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

Suodatin
Päättynyt

Hakutulokset