Introduction aux méthodes formelles
NORME ISO 27001
Sûreté de fonctionnement dans l’aéronautique (ARP 4754, ARP4761, DO254, DO178)
Certification Inspecteur IPC-A-600
Sûreté de fonctionnement des systèmes et matériels (CEI 61508-1 & 2)
