Pour visionner cette vidéo, veuillez activer JavaScript et envisager de passer à un navigateur Web qui prend en charge la vidéo HTML5. En savoir plus

Model-Checking et le temps

Durée : 01:20:40
Nombre de vues 25
Nombre d’ajouts dans une liste de lecture 0
Nombre de favoris 0

Mots clés :

Infos

  • Ajouté par : Charlie Rondel
  • Propriétaire(s) additionnel(s) :
    • Anthony Battistutta
    • Nicolas Duquennoy
  • Ajouté le : 21 octobre 2025 14:18
  • Type : Colloques et Conférences
  • Langue principale : Français
  • Discipline(s) :
    • Mathématiques
  • Licence : Licence Creative Commons