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. http://www.scopus.com/inward/record.uri?eid=2-s2.0-85030308212&doi=10.1145%2f3123779.3123813&partnerID=40&md5=f8e67104732f8b81c63e00a4dbaf645e