VALIDATION DES SYSTEMES

Liste des enseignements

  • Langages de spécialisation de systèmes

  • Sûreté de fonctionnement

  • Technique de validation

  • Bus tolérants aux pannes