Provably correct test generation for online testing of timed systems

vastutusandmed
Jüri Vain, Aivo Anier and Evelin Halling
ilmumiskoht
Tallinn
ilmumisaasta
leheküljed
p. 337-348 : ill
konverentsi nimetus, aeg
Databases and Information Systems, 8-11 June, 2014
konverentsi toimumispaik
Tallinn
ISBN
978-9949-23-632-9
märkused
Bibliogr.: 18 ref
keel
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.