Generating optimal test cases for real-time systems using DIVINE model checker

vastutusandmed
Deepak Pal, Jüri Vain
ilmumiskoht
Tallinn
kirjastus/väljaandja
ilmumisaasta
leheküljed
p. 99-102 : ill
konverentsi nimetus, aeg
2016 15th Biennial Baltic Electronics Conference, October 3-5, 2016
konverentsi toimumispaik
Tallinn, Tallinn University of Technology
ISBN
978-1-5090-1392-0
märkused
Bibliogr.: 14 ref
TTÜ struktuuriüksus
keel
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. http://www.ester.ee/record=b2150914*est