prindi

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

autor
Iqbal, Junaid
Truscan, Dragos
Vain, Jüri
Porres, Ivan
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
ACM
ilmumisaasta
2017
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
leitav
http://www.scopus.com/inward/record.uri?eid=2-s2.0-85030308212&doi=10.1145%2f3123779.3123813&partnerID=40&md5=f8e67104732f8b81c63e00a4dbaf645e
märksõna
automaatikasüsteemid
tarkvaraarendus
mänguteooria
võtmesõna
timed automata
rtioco-based timed test sequences
timed symbolic traces
diagnostic traces
Uppaal model-checker
Uppaal Tron
game theory
backward-induction
ISBN
978-1-4503-4843-0
märkused
Bibliogr.: 29 ref
TTÜ struktuuriüksus
tarkvarateaduse instituut
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 : ACM, 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