Skip to content
Présentation
Équipes
Logique, calcul et programmation
Spécification et vérification de systèmes
Masters
Membres
Publications
Séminaire
Contact
Comment venir ?
Connexion
Présentation
Équipes
Logique, calcul et programmation
Spécification et vérification de systèmes
Masters
Membres
Publications
Séminaire
Contact
Comment venir ?
Connexion
TBA
20 avril 2020
Arnaud de Mesmay
(LIGM)
TBA
Navigation de l’article
Mesures logicielles (Annulé)
FORMOSE : une méthode outillée de modélisation formelle des exigences pour des systèmes complexes critiques
