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

full record print

Towards scalable proofs of robot swarm dependability

author

Vain, Jüri

Tammet, Tanel

Kuusik, Alar

Juurik, Silver

statement of authorship

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

source

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

location of publication

[Tallinn]

publisher

Tallinn University of Technology

year of publication

2008

pages

p. 199-202 : ill

ISBN

978-1-4244-2059-9

notes

Bibliogr.: 7 ref

language

inglise

Märksõnad ja võtmesõnad

subject term

robotid

usaldusväärsus

tõestused

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.