Contribution à l'élaboration de règles de développement de logiciels critiques par la méthode B

SCHWARTZ

Type de document
RAPPORT DE STAGE
Langue
francais
Auteur
SCHWARTZ
Résumé / Abstract
CE RAPPORT DE STAGE PRESENTE UN ENSEMBLE DE REGLES ET DE RECOMMANDATIONS NECESSAIRES POUR UN MEILLEUR DEVELOPPEMENT DE LOGICIEL CRITIQUE PAR LA METHODE B. (Etude encadrée par M. 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