Provably correct test development for timed systems

Vain, Jüri; Anier, Aivo; Halling, Evelin (2014). Provably correct test development for timed systems. Databases and Information Systems VIII : Selected Papers from the Eleventh International Baltic Conference, Baltic DB&IS 2014. Ed. Haav, Hele-Mai; Kalja, Ahto; Robal, Tarmo. Amsterdam: IOS Press, 289−302. (Frontiers in Artificial Intelligence and Applications; 270).10.3233/978-1-61499-458-9-289.
publitseeritud konverentsiettekanne
Vain, Jüri; Anier, Aivo; Halling, Evelin
  • Inglise
Databases and Information Systems VIII : Selected Papers from the Eleventh International Baltic Conference, Baltic DB&IS 2014
Haav, Hele-Mai; Kalja, Ahto; Robal, Tarmo
Amsterdam
IOS Press
0922-6389
978-1-61499-457-2
Frontiers in Artificial Intelligence and Applications
270
2014
289302
Ilmunud
3.1. Artiklid/peatükid lisas loetletud kirjastuste välja antud kogumikes (kaasa arvatud Thomson Reuters Book Citation Index, Thomson Reuters Conference Proceedings Citation Index, Scopus refereeritud kogumikud)

Viited terviktekstile

dx.doi.org/10.3233/978-1-61499-458-9-289

Lisainfo

model-based testing; provably correct test generation; timed automata; verification by model checking
Conference Procedings Citation Index (WOS:000362357700021); Scopus