Inscription manuelle de participants

M2 AMSS - CSC - Méthodes et outils pour l'élimination des fautes

Content

  • Boolean satisfiability problem
  • Temporal logic
  • Model checking
  • Testing
Modalités:
ECTS:
Type:
Complexité:
Condition d'accès:
Accès anonyme
Accès anonyme