Skip to main content
Side panel
Home
TICe et Pédagogie
More
English (en)
English (en)
Français (fr)
Log in
Home
TICe et Pédagogie
Course info
SEC3_VF Ve¿rification formelle
-Modèles discrets -Modèles temporisés, paramètrés et à coût -Verification, Synthèse de paramètres, Synthèses de stratégies
Manager:
Olivier-henri Roux