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

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

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaLukuTieteellinenvertaisarvioitu

AlkuperäiskieliEi tiedossa
OtsikkoSoftware Technologies - 9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014, Revised Selected Papers
ToimittajatA Holzinger, J Cardoso, J Cordeiro, T Libourel, L Maciaszek, M Sinderen
KustantajaSpringer
Sivut349–364
ISBN (elektroninen)978-3-319-25579-8
ISBN (painettu)978-3-319-25578-1
DOI - pysyväislinkit
TilaJulkaistu - 2015
OKM-julkaisutyyppiA3 Kirjan osa tai toinen tutkimuskirja

Viittausmuodot