Votre recherche
Une plate-forme mécanisée et basée sur la preuve pour la vérification d'obligations de preuve B – BWare
industriels (Mitsubishi Electric R&D Centre Europe, ClearSy et OCamlPro). Cela assurera un excellent niveau [...] l'outil d'un partenaire industriel (l'Atelier B de ClearSy) pour une évaluation sur des applications industrielles