Rechercher

[BDD12] BCARe : un environnement pour la vérification de règles de l’Atelier B

Conférence Nationale avec comité de lecture : Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2012), January 2012, pp.46-49, Grenoble, France,

Auteurs: K. Berkani , D. Delahaye , C. Dubois , M. Jacquel , M. Keogh , E. Le Lay

motcle:
Résumé: Un outil pour la vérification des règles ajoutées de l'Atelier B.

Equipe: sys

BibTeX

@inproceedings {
BDD12,
title="{BCARe : un environnement pour la vérification de règles de l’Atelier B }",
author=" K. Berkani and D. Delahaye and C. Dubois and M. Jacquel and M. Keogh and E. Le Lay ",
booktitle="{Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2012)}",
year=2012,
month="January",
pages="46-49",
address="Grenoble, France",
}