Etude de modèles B pour la gestion des contrôles d'accès à des bâtiments
BRUSSELLE
Type de document
RAPPORT
Langue
francais
Auteur
BRUSSELLE
Résumé / Abstract
Prolongement du document 'simulation repartie d'accès à des bâtiments - juin 2000 - INRETS/RE-00-708-FR' par rapprochement entre le travail précédemment effectué (modélisation + ADA) et les modèles B disponibles par ailleurs (en particulier celui de J.R Abrial). (étude encadrée par G. Mariano - resp. INRETS-ESTAS).
