prindi

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

autor
Pal, Deepak
Vain, Jüri
vastutusandmed
Deepak Pal, Jüri Vain
allikas
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
ilmumiskoht
Tallinn
kirjastus/väljaandja
Tallinn University of Technology
ilmumisaasta
2016
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
leitav
http://www.ester.ee/record=b2150914*est
märksõna
testimine
modelleerimine (teadus)
reaalajasüsteemid
ISBN
978-1-5090-1392-0
märkused
Bibliogr.: 14 ref
TTÜ struktuuriüksus
arvutiteaduse instituut
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