Opciones de matriculación

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

Content

  • Boolean satisfiability problem
  • Temporal logic
  • Model checking
  • Testing
Los invitados no pueden entrar a este curso. Por favor acceda con sus datos.