Rechercher

[BJL12] BCARe : Contrôle automatique des règles ajoutées à SIEMENS

Chapitres de Livre : Titre du livre: "Utilisations industrielles des techniques formelles : méthode B. dirigé par J-L Boulanger. Hermes Science (à paraître)", September 2012, Hermes / Lavoisier, pp. -,

Auteurs: K. Berkani , M. Jacquel , E. Le Lay

motcle:
Résumé: Ce chapitre présente l'outil de Siemens appelé BCARe, dédié à la vérification automatique des règles ajoutées de l'Atelier B.

Equipe: sys

BibTeX

@inbook {
BJL12,
title="{Utilisations industrielles des techniques formelles : méthode B. dirigé par J-L Boulanger. Hermes Science (à paraître)}",
chapter="{BCARe : Contrôle automatique des règles ajoutées à SIEMENS}",
author="K. Berkani and M. Jacquel and E. Le Lay",
year=2012,
publisher="Hermes / Lavoisier",
pages="-",
}