Vérification de Protocoles

Notion de simulation/bisimulation. 2. Logique d'Hennesy-Milner. 3. Relation entre les approches assertionnelles (logiques) et comportementales (graphiques).







Fascicule 74 - FNTP
| Doit inclure :
Chapitre IV - GESTION DE PROJET - lamsade
Termes manquants :
MPB MANAGEMENT DES PROJETS DE BATIMENTS Chapitre 01
ouvrage,



Autres Cours:

Analyse de l'erreur en vérification probabiliste