Provably correct test generation for online testing of timed systems

Vain, Jüri; Anier, Aivo; Halling, Evelin (2014). 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. Ed. Haav, Hele-Mai; Kalja, Ahto; Robal, Tarmo. Tallinn: Tallinn University of Technology Press, 337−348.
publitseeritud konverentsiettekanne
Vain, Jüri; Anier, Aivo; Halling, Evelin
  • Inglise
Databases and Information Systems : Proceedings of the 11th International Baltic Conference, Baltic DB&IS 2014, Tallinn, Estonia, 8-11 June 2014
Haav, Hele-Mai; Kalja, Ahto; Robal, Tarmo
Tallinn
Tallinn University of Technology Press
978-9949-23-632-9
2014
337348
Ilmunud
3.2. Artiklid/peatükid lisas mitte loetletud kirjastuste välja antud kogumikes

Viited terviktekstile

Lisainfo

model-based testing; provably correct test generation; timed automata; verification by model checking