Towards scalable proofs of robot swarm dependability
autor
Vain, Jüri
Tammet, Tanel
Kuusik, Alar
Juurik, Silver
vastutusandmed
J.Vain, T.Tammet, A.Kuusik, S.Juurik
allikas
BEC 2008 : 2008 International Biennial Baltic Electronics Conference : proceedings of the 11th Biennial Baltic Electronics Conference : Tallinn University of Technology : October 6-8, 2008, Tallinn, Estonia
ilmumiskoht
[Tallinn]
kirjastus/väljaandja
Tallinn University of Technology
ilmumisaasta
2008
leheküljed
p. 199-202 : ill
märksõna
robotid
usaldusväärsus
tõestused
ISBN
978-1-4244-2059-9
märkused
Bibliogr.: 7 ref
keel
inglise