prindi

Provably correct test development for timed systems

autor
Vain, Jüri
Anier, Aivo
Halling, Evelin
vastutusandmed
Jüri Vain, Aivo Anier and Evelin Halling
allikas
Databases and information systems VIII : selected papers from the Eleventh International Baltic Conference, DB&IS 2014
ilmumiskoht
Amsterdam
kirjastus/väljaandja
IOS Press
ilmumisaasta
2014
leheküljed
p. 289-302 : ill
seeria-sari
Frontiers in artificial intelligence and applications ; 270
konverentsi nimetus, aeg
Eleventh International Baltic Conference, DB&IS 2014, 8-11 June, 2014
konverentsi toimumispaik
Tallinn
märksõna
tarkvaraarendus
testimine
automaatkontroll
võtmesõna
model-based testing
provably correct test generation
timed automata
verification by model checking
ISSN
0922-6389
ISBN
978-1-61499-457-2
märkused
Bibliogr.: 13 ref
TTÜ struktuuriüksus
arvutiteaduse instituut
TTÜ Küberneetika Instituut
keel
inglise
Vain, J., Anier, A., Halling, E. Provably correct test development for timed systems // Databases and information systems VIII : selected papers from the Eleventh International Baltic Conference, DB&IS 2014. Amsterdam : IOS Press, 2014. p. 289-302 : ill. (Frontiers in artificial intelligence and applications ; 270).