Offers : Railway
maintenance support, supervision Nuclear-energy, Railway
The offer is based on CLEARSY's expertise, the DAME software suite and its ability to secure interfaces.
Formal system validation Railway
The formal system validation, obtained with the B-method, is an element of the demonstration of the safety of a critical system.
We are safety software and systems designers. Contact us and let's discuss your project together!