Generating optimal test cases for real-time systems using DIVINE model checker
author
statement of authorship
Deepak Pal, Jüri Vain
location of publication
Tallinn
publisher
year of publication
pages
p. 99-102 : ill
conference name, date
2016 15th Biennial Baltic Electronics Conference, October 3-5, 2016
conference location
Tallinn, Tallinn University of Technology
subject term
ISBN
978-1-5090-1392-0
notes
Bibliogr.: 14 ref
TTÜ department
language
inglise
Pal, D., Vain, J. Generating optimal test cases for real-time systems using DIVINE model checker // BEC 2016 : 2016 15th Biennial Baltic Electronics Conference : proceedings of the 15th Biennial Baltic Electronics Conference : Tallinn University of Technology, October 3-5, 2016, Tallinn, Estonia. Tallinn : Tallinn University of Technology, 2016. p. 99-102 : ill.