Skip to Main content Skip to Navigation
Conference papers

Les Protocoles de Déplacement de Robots: l’Algorithmique distribuée comme terrain de jeu pour la preuve formelle

Pierre Courtieu 1
1 CEDRIC - SYS - CEDRIC. Systèmes sûrs
CEDRIC - Centre d'études et de recherche en informatique et communications
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-03131638
Contributor : Pierre Courtieu Connect in order to contact the contributor
Submitted on : Thursday, February 4, 2021 - 3:09:23 PM
Last modification on : Thursday, March 25, 2021 - 11:08:19 AM

Identifiers

  • HAL Id : hal-03131638, version 1

Collections

Citation

Pierre Courtieu. Les Protocoles de Déplacement de Robots: l’Algorithmique distribuée comme terrain de jeu pour la preuve formelle. JFLA 2019. Journées Francophones des Langages Applicatifs, Jan 2019, Les Rousses, France. ⟨hal-03131638⟩

Share

Metrics

Les métriques sont temporairement indisponibles