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

vastutusandmed
Junaid Iqbal, Dragos Truscan, Juri Vain, and Ivan Porres
allikas
Proceedings of the Fifth European Conference on the Engineering of Computer-Based Systems
ilmumiskoht
New York
kirjastus/väljaandja
ilmumisaasta
leheküljed
10 pages : ill
konverentsi nimetus, aeg
ECBS '17 Fifth European Conference on the Engineering of Computer Based Systems, 31 august- 01 september, 2017
konverentsi toimumispaik
Larnaca, Cyprus
võtmesõna
rtioco-based timed test sequences
timed symbolic traces
diagnostic traces
Uppaal model-checker
Uppaal Tron
backward-induction
ISBN
978-1-4503-4843-0
märkused
Bibliogr.: 29 ref
TTÜ struktuuriüksus
keel
inglise
Iqbal, J., Truscan, D., Vain, J., Porres, I. Reconstructing timed symbolic traces from rtioco-based timed test sequences using backward induction // Proceedings of the Fifth European Conference on the Engineering of Computer-Based Systems. New York : Association for Computing Machinery, 2017. 10 pages : ill.