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

OriginalspråkOdefinierat/okänt
Titel på gästpublikationSoftware Technologies - 9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014, Revised Selected Papers
RedaktörerA Holzinger, J Cardoso, J Cordeiro, T Libourel, L Maciaszek, M Sinderen
FörlagSpringer
Sidor349–364
ISBN (elektroniskt)978-3-319-25579-8
ISBN (tryckt)978-3-319-25578-1
DOI
StatusPublicerad - 2015
MoE-publikationstypA3 Del av bok eller annan forskningsbok

Citera det här