prindi

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

autor
Kääramees, Marko
Vain, Jüri
Raiend, Kullo
vastutusandmed
Marko Kääramees, Jüri Vain, Kullo Raiend
allikas
BEC 2010 : 2010 12th Biennial Baltic Electronics Conference : proceedings of the 12th Biennial Baltic Electronics Conference : Tallinn University of Technology, October 4-6, 2010, Tallinn, Estonia
ilmumiskoht
[Tallinn]
kirjastus/väljaandja
Tallinn University of Technology
ilmumisaasta
2010
leheküljed
p. 189-192 : ill
konverentsi nimetus, aeg
12th Biennial Baltic Electronics Conference, 2010
konverentsi toimumispaik
Tallinn
märksõna
manussüsteemid
testimine
mudelid
süntees
ISSN
1736-3705
ISBN
978-1-4244-7357-1
märkused
Bibliogr.: 7 ref
keel
inglise
Kääramees, M., Vain, J., Raiend, K. Model-based synthesis of reactive planning on-line testers for non-deterministic embedded systems // BEC 2010 : 2010 12th Biennial Baltic Electronics Conference : proceedings of the 12th Biennial Baltic Electronics Conference : Tallinn University of Technology, October 4-6, 2010, Tallinn, Estonia. [Tallinn] : Tallinn University of Technology, 2010. p. 189-192 : ill.