4 juin 2025
CLEARSY est leader depuis plus de 20 ans dans l’application de la méthode formelle B, utilisée pour valider mathématiquement les logiciels et les systèmes critiques de sécurité.
Vous souhaitez
- Comprendre l’intérêt fondamental d’une méthode formelle ?
- Découvrir la méthode B et son utilisation ?
CLEARSY a conçu une toute nouvelle formation d’un jour pour les managers et les responsables techniques.
==> https://www.atelierb.eu/formation-b/formation-methode-b-niveau-0-decouvrir-b/