Report - Argumentaires de sûreté : comment formaliser les ... · Plan de l’exposé • Les difficultés d’évaluation des systèmes critiques • La méthode SERENE • Conclusion. 3

Please pass captcha verification before submit form