Towards scalable proofs of robot swarm dependability

vastutusandmed
J.Vain, T.Tammet, A.Kuusik, S.Juurik
ilmumiskoht
[Tallinn]
kirjastus/väljaandja
ilmumisaasta
leheküljed
p. 199-202 : ill
ISBN
978-1-4244-2059-9
märkused
Bibliogr.: 7 ref
keel
inglise
Vain, J., Tammet, T., Kuusik, A., Juurik, S. Towards scalable proofs of robot swarm dependability // 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. [Tallinn] : Tallinn University of Technology, 2008. p. 199-202 : ill.