A tool-supported approach for introducing aspects in UPPAAL timed automata

Truscan, D.; Vain, J.; Koskinen, M.; Iqbal, J. (2015). A tool-supported approach for introducing aspects in UPPAAL timed automata. Software Technologies : 9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014, Revised Selected Papers. Cham: Springer, 349−364. (Communications in Computer and Information Science; 555).10.1007/978-3-319-25579-8_20.
publitseeritud konverentsiettekanne
Truscan, D.; Vain, J.; Koskinen, M.; Iqbal, J.
  • Inglise
Software Technologies : 9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014, Revised Selected Papers
Cham
Springer
1865-0929
978-3-319-25578-1
Communications in Computer and Information Science
555
2015
349364
Ilmunud
3.1. Artiklid/peatükid lisas loetletud kirjastuste välja antud kogumikes (kaasa arvatud Thomson Reuters Book Citation Index, Thomson Reuters Conference Proceedings Citation Index, Scopus refereeritud kogumikud)

Viited terviktekstile

doi.org/10.1007/978-3-319-25579-8_20

Lisainfo

aspect-oriented modeling; UPPAAL timed automata; model transformation
Conference Proceedings Citation Index- Science (CPCI-S); Scopus