print

Timed automata based provably correct robot control

author
Anier, Aivo
Vain, Jüri
statement of authorship
A. Anier, J. Vain
source
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
location of publication
[Tallinn]
publisher
Tallinn University of Technology
year of publication
2010
pages
p. 201-204 : ill
conference name, date
12th Biennial Baltic Electronics Conference, 2010
conference location
Tallinn
subject term
automaadid (seadmed)
robotid
kontroll
ISSN
1736-3705
ISBN
978-1-4244-7357-1
notes
Bibliogr.: 9 ref
language
inglise
Anier, A., Vain, J. Timed automata based provably correct robot control // 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. 201-204 : ill.