Reconstructing timed symbolic traces from rtioco-based timed test sequences using backward induction
author
Iqbal, Junaid
Truscan, Dragos
Vain, Jüri
Porres, Ivan
statement of authorship
Junaid Iqbal, Dragos Truscan, Juri Vain, and Ivan Porres
source
Proceedings of the Fifth European Conference on the Engineering of Computer-Based Systems
location of publication
New York
publisher
ACM
year of publication
2017
pages
10 pages : ill
conference name, date
ECBS '17 Fifth European Conference on the Engineering of Computer Based Systems, 31 august- 01 september, 2017
conference location
Larnaca, Cyprus
url
https://doi.org/10.1145/3123779.3123813
subject term
automaatikasüsteemid
tarkvaraarendus
mänguteooria
Scopus
https://www.scopus.com/sourceid/11600154611
https://www.scopus.com/record/display.uri?eid=2-s2.0-85030308212&origin=inward&txGid=01c0baaedd6542ed808807eb0980ff85
WOS
https://www.webofscience.com/wos/woscc/full-record/WOS:000434851300006
quartile
Q3
category (general)
Computer science
Arvutiteadus
category (sub)
Computer science. Computer networks and communications
Arvutiteadus. Arvutivõrgud ja side
Computer science. Computer vision and pattern recognition
Arvutiteadus. Arvutinägemine ja mustrituvastus
Computer science. Software
Arvutiteadus. Tarkvara
Computer science. Human-computer interaction
Arvutiteadus. Inimese ja arvuti interaktsioon
keyword
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
notes
Bibliogr.: 29 ref
scientific publication
teaduspublikatsioon
classifier
3.1
TalTech department
tarkvarateaduse instituut
language
inglise