Generating optimal test cases for real-time systems using DIVINE model checker
author
Pal, Deepak
Vain, Jüri
statement of authorship
Deepak Pal, Jüri Vain
source
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
location of publication
Tallinn
publisher
Tallinn University of Technology
year of publication
2016
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
url
http://www.ester.ee/record=b2150914*est
subject term
testimine
modelleerimine (teadus)
reaalajasüsteemid
ISBN
978-1-5090-1392-0
notes
Bibliogr.: 14 ref
TTÜ department
arvutiteaduse instituut
language
inglise