Ce cours présente les concepts principaux de la sûreté de fonctionnement abordé sous un angle fortement mathématisé (systèmes de transition probabilisés, logique pour le traitement du risque). Mise en pratique via des études de cas pratiques.

Site de soumission du cours INF280. Pour plus d'information, cf la page du cours.