Sécurité et sûreté des systèmes complexes: moteur d'inférence pour l'outil Best

MONTOUT

Type de document
RAPPORT DE STAGE
Langue
francais
Auteur
MONTOUT
Résumé / Abstract
CE DOCUMENT PRESENTE LE DEVELOPPEMENT D'UN MOTEUR D'INFERENCE PERMETTANT LA MISE AU POINT D'UN OUTIL D'EXTRACTION DES METRIQUES SUR DES SPECIFICATIONS FORMELLES ECRITES EN B. (ETUDE ENCADREE PAR EM EL KOURSI, RESP; INRETS-ESTAS).

puce  Accès à la notice sur le portail documentaire de l'IFSTTAR

  Liste complète des notices publiques de l'IFSTTAR