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 : lundi 9 décembre 2024-03:25:12
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
183
Consultations
0
Téléchargements