Ingénierie de système
- Réalisation de systèmes et de logiciels sûrs SIL2, SIL3, SIL4
- Vérification formelle de spécifications systèmes et logicielles
- Qualification et études de sûreté de fonctionnement
- Développement et maintenance d’outils d’ingénierie spécifiques

Français
English


