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

conference name, date

BEC 2008 : 2008 International Biennial Baltic Electronics Conference : the 11th Biennial Baltic Electronics Conference, October 6-8, 2008

conference location

Tallinn, Estonia

ISSN

1736-3705

ISBN

978-1-4244-2059-9

notes

Bibliogr.: 7 ref

TalTech department

arvutiteaduse instituut

TTÜ Küberneetika Instituut

elektroonikainstituut

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.