Content
- Boolean satisfiability problem
- Temporal logic
- Model checking
- Testing
- Enseignant: Grégory Faraut
- Enseignant responsable de l'UE: Bruno Denis
UE libre: No
M2 AMSS - CSC - Méthodes et outils pour l'élimination des fautes
Opciones de matriculación
Acceso de invitados
Se pedirá una contaseña.