Provably correct test generation for online testing of timed systems
author
statement of authorship
Jüri Vain, Aivo Anier and Evelin Halling
location of publication
Tallinn
publisher
year of publication
pages
p. 337-348 : ill
conference name, date
Databases and Information Systems, 8-11 June, 2014
conference location
Tallinn
ISBN
978-9949-23-632-9
notes
Bibliogr.: 18 ref
TTÜ department
language
inglise
Vain, J., Anier, A., Halling, E. Provably correct test generation for online testing of timed systems // Databases and Information Systems : proceedings of the 11th International Baltic Conference, Baltic DB&IS 2014 : Tallinn, Estonia, 8-11 June, 2014. Tallinn : Tallinn University of Technology Press, 2014. p. 337-348 : ill.