Formal safety validation of mobile robot teleoperation
Vain, Jüri
;
Suzuki, Satoshi
;
Kuusik, Alar
BEC 2004 : proceedings of the 9th Biennial Baltic Electronics Conference : October 3-6, 2004, Tallinn, Estonia
2004
/
p. 161-164 : ill