Assessing the Quality of B Models

Adrien De Kermadec 1 Frédéric Dadeau 1 Fabrice Bouquet 2
1 CASSIS - Combination of approaches to the security of infinite states systems
FEMTO-ST - Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies, INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Type de document :
Communication dans un congrès
Maggiolo-Schettini, Andrea and Fiadeiro, José Luis and Gnesi, Stefania. SEFM'10 - 8th IEEE International Conference on Software Engineering and Formal Methods, Sep 2010, Pisa, Italy. 2010, IEEE computer society. 〈10.1109/SEFM.2010.17〉
Liste complète des métadonnées

https://hal.inria.fr/inria-00532974
Contributeur : Frédéric Dadeau <>
Soumis le : jeudi 4 novembre 2010 - 18:59:24
Dernière modification le : jeudi 15 février 2018 - 08:48:09

Identifiants

Citation

Adrien De Kermadec, Frédéric Dadeau, Fabrice Bouquet. Assessing the Quality of B Models. Maggiolo-Schettini, Andrea and Fiadeiro, José Luis and Gnesi, Stefania. SEFM'10 - 8th IEEE International Conference on Software Engineering and Formal Methods, Sep 2010, Pisa, Italy. 2010, IEEE computer society. 〈10.1109/SEFM.2010.17〉. 〈inria-00532974〉

Partager

Métriques

Consultations de la notice

267