Reconstructing timed symbolic traces from rtioco-based timed test sequences using backward-induction

Iqbal, Junaid; Truscan, Dragos; Vain, Jüri; Porres, Ivan (2017). Reconstructing timed symbolic traces from rtioco-based timed test sequences using backward-induction. In: Vranić, Valentino; Ondřej Ryšavý, Ondřej (Ed.). Proceedings of the Fifth European Conference on the Engineering of Computer-Based Systems, ECBC 2017 : 31 August - 01 September 2017, Larnaca, Cyprus (1−10). New York, NY: ACM.3123779.3123813.
kogumikuartikkel/peatükk raamatus/kogumikus
Iqbal, Junaid; Truscan, Dragos; Vain, Jüri; Porres, Ivan
  • Inglise
Proceedings of the Fifth European Conference on the Engineering of Computer-Based Systems, ECBC 2017 : 31 August - 01 September 2017, Larnaca, Cyprus
Vranić, Valentino; Ondřej Ryšavý, Ondřej
New York, NY
ACM
978-1-4503-4843-0
2017
110
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

10.1145/3123779.3123813

Lisainfo

timed automata; rtioco-based timed test sequences; timed symbolic traces; diagnostic traces; Uppaal model-checker; Uppaal Tron, game theory; backward-induction
Conference Proceedings Citation Index- Science (CPCI-S); Scopus; ACM DL