Formal safety validation of mobile robot teleoperation

statement of authorship
J.Vain, S.Suzuki, A.Kuusik
location of publication
Tallinn
year of publication
pages
p. 161-164 : ill
ISBN
9985-59-462-2
notes
Bibliogr.: 6 ref
language
inglise
Vain, J., Suzuki, S., Kuusik, A. Formal safety validation of mobile robot teleoperation // BEC 2004 : proceedings of the 9th Biennial Baltic Electronics Conference : October 3-6, 2004, Tallinn, Estonia. Tallinn : Tallinn University of Technology, 2004. p. 161-164 : ill.