Le secteur de l’énergie nécessite des systèmes et logiciels de gestion complexes. Une modélisation de ces derniers à l’aide de méthodes formelles permet d’éviter bien des erreurs lors de leur développement, et leur audit, une sureté de fonctionnement optimale.
| Projet | Client | Description |
|---|---|---|
| Audit Qualité | Siemens Energy | Processus de paramétrage des postes électriques Siemens Energy. |
| USAN | Cybernetix | Étude de sécurité d’une bouée d’offloading. |
Français
English 
