Jüri Vain, Aivo Anier, Evelin Halling. Provably Correct Test Development for Timed Systems. In Hele-Mai Haav, Ahto Kalja, Tarmo Robal, editors, Databases and Information Systems VIII - Selected Papers from the Eleventh International Baltic Conference, DB&IS 2014, 8-11 June 2014, Tallinn, Estonia. Volume 270 of Frontiers in Artificial Intelligence and Applications, pages 289-302, IOS Press, 2014. [doi]
@inproceedings{VainAH14,
title = {Provably Correct Test Development for Timed Systems},
author = {Jüri Vain and Aivo Anier and Evelin Halling},
year = {2014},
doi = {10.3233/978-1-61499-458-9-289},
url = {http://dx.doi.org/10.3233/978-1-61499-458-9-289},
researchr = {https://researchr.org/publication/VainAH14},
cites = {0},
citedby = {0},
pages = {289-302},
booktitle = {Databases and Information Systems VIII - Selected Papers from the Eleventh International Baltic Conference, DB&IS 2014, 8-11 June 2014, Tallinn, Estonia},
editor = {Hele-Mai Haav and Ahto Kalja and Tarmo Robal},
volume = {270},
series = {Frontiers in Artificial Intelligence and Applications},
publisher = {IOS Press},
isbn = {978-1-61499-458-9},
}