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
subject term
robotid
usaldusväärsus
tõestused
ISSN
1736-3705
ISBN
978-1-4244-2059-9
notes
Bibliogr.: 7 ref
TalTech department
arvutiteaduse instituut
TTÜ Küberneetika Instituut
elektroonikainstituut
language
inglise