full record print

Provably correct test development for timed systems

author
statement of authorship
Jüri Vain, Aivo Anier and Evelin Halling
source
location of publication
Amsterdam
publisher
year of publication
pages
p. 289-302 : ill
series
conference name, date
Eleventh International Baltic Conference, DB&IS 2014, 8-11 June, 2014
conference location
Tallinn
url
ISSN
0922-6389
ISBN
978-1-61499-457-2
notes
Bibliogr.: 13 ref
scientific publication
teaduspublikatsioon
TalTech department
language
inglise
category (general)
category (sub)
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). https://doi.org/10.3233/978-1-61499-458-9-289