Content
- Boolean satisfiability problem
- Temporal logic
- Model checking
- Testing
- Enseignant: Grégory Faraut
- Enseignant responsable de l'UE: Bruno Denis
UE libre: No
Información del curso
Para continuar usando este sitio web, debe aceptar nuestras políticas:
x