Cette UV a pour objectif d'enseigner les concepts et méthodes essentiels de la sûreté de fonctionnement des systèmes, en prenant en compte la spécificité des systèmes informatiques notamment pour ce qui concerne le logiciel à fortes exigences de sûreté de fonctionnement (développement formel).
- Responsable: Schon Walter