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
konverentsi nimetus, aeg
BEC 2008 : 2008 International Biennial Baltic Electronics Conference : the 11th Biennial Baltic Electronics Conference, October 6-8, 2008
konverentsi toimumispaik
Tallinn, Estonia
märksõna
robotid
usaldusväärsus
tõestused
ISSN
1736-3705
ISBN
978-1-4244-2059-9
märkused
Bibliogr.: 7 ref
TTÜ struktuuriüksus
arvutiteaduse instituut
TTÜ Küberneetika Instituut
elektroonikainstituut
keel
inglise