Mots clés : algorithmes repartis automates model-checking protocoles
Informations
- Roland Groz
-
- Olivier Alphand
- Martin Heusse
- 24 novembre 2020 10:20
- Supports pédagogiques
- Français
- Licence
Mots clés : algorithmes repartis automates model-checking protocoles
Commentaire(s)