Basic info
Industry
it services and it consulting
Sectors
B Formal Method
CBTC
Systèmes Certifiés de SIL1 à SIL4
System Verification
Software
Safety Critical Systems
Vérification Formelle
Energy
ERTMS
ETCS
Systèmes et Logiciels Sécuritaires
Information Technology
Méthode Formelle B
Systèmes Critiques
Certified Systems SIL1 to SIL4
Simulation tools
Safety Demonstration
DMI
Vital Relays
Date founded
2001