B MODEL ANIMATION FOR EXTERNAL VERIFICATION

WAESELYNCK ; BEHNIA

Type de document
RAPPORT
Langue
anglais
Auteur
WAESELYNCK ; BEHNIA
Résumé / Abstract
CE DOCUMENT TRAITE DE LA VERIFICATION EXTERNE DU LOGICIEL DEVELOPPE PAR LA METHODE FORMELLE B. IL EXAMINE L¹APPORT DE L¹ANIMATION DU MODELE B ET DU TEST DU CODE.

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

  Liste complète des notices publiques de l'IFSTTAR