Content
- Boolean satisfiability problem
- Temporal logic
- Model checking
- Testing
- Enseignant responsable de l'UE: Bruno Denis
Informations du cours
Si vous continuez à consulter ce site web, vous acceptez nos politiques :
x