Offres
SATURN est une nouvelle plateforme fournissant une solution de sécurité, robuste et offrant une grande disponibilité. Ce produit assurant la […]
Des systèmes sécuritaires adaptés à votre projet CLEARSY est un acteur reconnu dans le domaine du formel et pour la […]
CLEARSY propose une méthode d’analyse inédite permettant de faire la preuve mathématique de la conformité de tout ou partie d’un […]
La vérification formelle de système, obtenue avec la méthode B, est un élément de la démonstration de sûreté de fonctionnement d'un système critique.
Des logiciels fiables développés à l’aide des méthodes formelles CLEARSY innove en matière de réalisation au forfait de logiciels, par […]
20 années de travail continu dans ce domaine nous ont permis d’acquérir une expertise unique qui est largement reconnue dans […]
Le Système de contrôle de marche mobile (ou comble lacune) se nomme CACOLAC.C’est un dispositif ayant pour vocation de pouvoir […]
CLEARSY est maitre d’œuvre dans la conception, la fourniture et le déploiement du système de détection d’individus dans les lacunes […]