BCARe : un environnement pour la vérification de règles de l?Atelier B
Résumé
Un outil pour la vérification des règles ajoutées de l'Atelier B.
Communication Dans Un Congrès
Année : 2012
Laboratoire CEDRIC : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01126033
Soumis le : vendredi 6 mars 2015-11:37:25
Dernière modification le : mardi 9 avril 2024-17:12:46
Dates et versions
Identifiants
- HAL Id : hal-01126033 , version 1
Citer
Karim Berkani, David Delahaye, Catherine Dubois, Mélanie Jacquel, Martin Keogh, et al.. BCARe : un environnement pour la vérification de règles de l?Atelier B. Approches Formelles dans l'Assistance au D?veloppement de Logiciels (AFADL 2012), Jan 2012, Grenoble, France. pp.46-49. ⟨hal-01126033⟩
Collections
24
Consultations
0
Téléchargements