Provably correct test development for timed systems
author
statement of authorship
Jüri Vain, Aivo Anier and Evelin Halling
location of publication
Amsterdam
publisher
year of publication
pages
p. 289-302 : ill
conference name, date
Eleventh International Baltic Conference, DB&IS 2014, 8-11 June, 2014
conference location
Tallinn
ISSN
0922-6389
ISBN
978-1-61499-457-2
notes
Bibliogr.: 13 ref
TTÜ department
language
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).