Vain, J., Tammet, T., Kuusik, A., Juurik, S.

prindi

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

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.