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.

SPRAT

logo21

Intégration fonctionnelle du pont d’Assaut Modulaire
OISAU

logo20

Ouverture et Interopérabilité pour Systèmes Autonomes

Les commentaires sont fermés.