Model-based synthesis of reactive planning on-line testers for non-deterministic embedded systems

Kääramees, Marko; Vain, Jüri; Raiend, Kullo (2010). Model-based synthesis of reactive planning on-line testers for non-deterministic embedded systems. BEC 2010 : 12th Biennial Baltic Electronics Conference, [Proceedings : Tallinn University of Technology, October 4-6, 2010, Tallinn, Estonia]. [S. l.]: IEEE, 189−192.10.1109/BEC.2010.5631735.
publitseeritud konverentsiettekanne
Kääramees, Marko; Vain, Jüri; Raiend, Kullo
  • Inglise
BEC 2010 : 12th Biennial Baltic Electronics Conference, [Proceedings : Tallinn University of Technology, October 4-6, 2010, Tallinn, Estonia]
[S. l.]
IEEE
1736-3705
978-1-4244-7358-8
2010
189192
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

dx.doi.org/10.1109/BEC.2010.5631735