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

Pal, D.; Vain, J. (2016). Generating optimal test cases for real-time systems using DIVINE model checker. BEC 2016 : 15th Biennial Baltic Electronics Conference, Tallinn University of Technology, October 3-5, 2016 Tallinn, Estonia, Proceedings. IEEE, 99−102.10.1109/BEC.2016.7743738.
publitseeritud konverentsiettekanne
Pal, D.; Vain, J.
  • Inglise
BEC 2016 : 15th Biennial Baltic Electronics Conference, Tallinn University of Technology, October 3-5, 2016 Tallinn, Estonia, Proceedings
IEEE
1736-3705
978-1-5090-1392-0
2016
99102
Ilmunud
3.1. Artiklid/peatükid lisas loetletud kirjastuste välja antud kogumikes (kaasa arvatud Thomson Reuters Book Citation Index, Thomson Reuters Conference Proceedings Citation Index, Scopus refereeritud kogumikud)

Viited terviktekstile

doi.org/10.1109/BEC.2016.7743738