On the benefits of using aspect-orientation in UPPAAL timed automata

Vain, Jüri; Truscan, Dragos; Iqbal, Junaid; Tsiopoulos, Leonidas (2017). On the benefits of using aspect-orientation in UPPAAL timed automata. 2017 International Conference on Infocom Technologies and Unmanned Systems (ICTUS), (Trends and Future Directions) : December 18-20 December, 2017, Dubai, UAE, Proceedings. Ed. Khatri, S. K.; Kapur, R.K.; Rana,A.; Singh, S.; Kapur,P.K. New Delhi: IEEE, 84−91.10.1109/ICTUS.2017.8285981.
publitseeritud konverentsiettekanne
Vain, Jüri; Truscan, Dragos; Iqbal, Junaid; Tsiopoulos, Leonidas
  • Inglise
2017 International Conference on Infocom Technologies and Unmanned Systems (ICTUS), (Trends and Future Directions) : December 18-20 December, 2017, Dubai, UAE, Proceedings
Khatri, S. K.; Kapur, R.K.; Rana,A.; Singh, S.; Kapur,P.K.
New Delhi
IEEE
2017
8491
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.1109/ICTUS.2017.8285981