Défense

SYSTÈMES POUR LA DÉFENSE

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.