|
 
|
[ABC13] Certified Impossibility Results for Byzantine-Tolerant Mobile Robots
Conférence Internationale avec comité de lecture : International Symposium on Stabilization, Safety, and Security of Distributed Systems, November 2013, Vol. 8255, pp.15, Series LNCS, Osaka, Japon,
motcle:
Résumé:
We present a formalization in Coq of impossibility results in a robot framework.
Equipe:
sys
BibTeX
| @inproceedings { | |||
| ABC13, | |||
| title | = | "{Certified Impossibility Results for Byzantine-Tolerant Mobile Robots}", | |
| author | = | " C. Auger and Z. Bouzid and P. Courtieu and S. Tixeuil and X. Urbain ", | |
| booktitle | = | "{International Symposium on Stabilization, Safety, and Security of Distributed Systems}", | |
| year | = | 2013, | |
| month | = | "November", | |
| series | = | "LNCS", | |
| volume | = | 8255, | |
| pages | = | "15", | |
| address | = | "Osaka, Japon", | |
| } | |||
