Le savoir-faire de Clearsy est particulièrement apprécié dans les sphères militaires dans la mesure où il permet de modéliser formellement les spécifications de certains systèmes complexes, ce qui assure une vérification sûre et systématique des dites spécifications ainsi que l’absence de contradictions entre elles.
| Projet | Client | Description |
|---|---|---|
| SPRAT | CNIM | Intégration fonctionnelle du pont d’Assaut Modulaire. |
| OISAU | DGA | Ouverture et Interopérabilité pour Systèmes Autonomes. |
Français
English 
