Communication Dans Un Congrès
Année : 2021
Sébastien Tixeuil : Connectez-vous pour contacter le contributeur
https://hal.sorbonne-universite.fr/hal-03425768
Soumis le : jeudi 11 novembre 2021-11:54:58
Dernière modification le : jeudi 4 avril 2024-21:05:06
Citer
Thibaut Balabonski, Pierre Courtieu, Robin Pelle, Lionel Rieg, Sébastien Tixeuil, et al.. Computer Aided Formal Design of Swarm Robotics Algorithms. Stabilization, Safety, and Security of Distributed Systems. SSS 2021, Nov 2021, Online, Sweden. pp.469-473, ⟨10.1007/978-3-030-91081-5_31⟩. ⟨hal-03425768⟩
Collections
119
Consultations
0
Téléchargements