Reconstructing timed symbolic traces from rtioco-based timed test sequences using backward induction
Iqbal, Junaid
;
Truscan, Dragos
;
Vain, Jüri
;
Porres, Ivan
Proceedings of the Fifth European Conference on the Engineering of Computer-Based Systems
2017
/
10 pages : ill
https://doi.org/10.1145/3123779.3123813
https://www.scopus.com/sourceid/11600154611
https://www.scopus.com/record/display.uri?eid=2-s2.0-85030308212&origin=inward&txGid=01c0baaedd6542ed808807eb0980ff85
https://www.webofscience.com/wos/woscc/full-record/WOS:000434851300006