Différences
Ci-dessous, les différences entre deux révisions de la page.
| Prochaine révision | Révision précédente | ||
|
fr:research:formal-methods [2021/04/05 17:25] apeiron créée |
fr:research:formal-methods [2021/04/07 11:42] apeiron suppression méthodes formelles |
||
|---|---|---|---|
| Ligne 1: | Ligne 1: | ||
| - | ====== FSSP ====== | + | ====== Firing Squad Synchronization Problem ====== |
| Ce travail est issu de mon stage postdoctoral((Financé par l'ANR TARMAC 12 BS02 007 01.)) de fin 2015 à fin 2016. J'ai travaillé avec Jean-Baptiste Yunès et Luidnel Maignan au [[http://archives.liafa.univ-paris-diderot.fr|LIAFA]] sur le problème de la synchronisation dans les automates cellulaires, le << Firing Squad Synchronization Problem >>. | Ce travail est issu de mon stage postdoctoral((Financé par l'ANR TARMAC 12 BS02 007 01.)) de fin 2015 à fin 2016. J'ai travaillé avec Jean-Baptiste Yunès et Luidnel Maignan au [[http://archives.liafa.univ-paris-diderot.fr|LIAFA]] sur le problème de la synchronisation dans les automates cellulaires, le << Firing Squad Synchronization Problem >>. | ||