Venus : un outil d'aide à la vérification des systèmes communicants
FR |
EN
Auteur / Autrice : | Amelia Soriano Montes |
Direction : | Jacques Voiron |
Type : | Thèse de doctorat |
Discipline(s) : | Informatique |
Date : | Soutenance en 1987 |
Etablissement(s) : | Grenoble INPG |
Partenaire(s) de recherche : | Laboratoire : Institut d'informatique et mathématiques appliquées (Grenoble ; 1989-2006) |
Jury : | Examinateurs / Examinatrices : Joseph Sifakis |
Mots clés
FR
Mots clés contrôlés
Résumé
FR
Description d'un outil d'aide à la conception et à la vérification de systèmes communicants qui est basé sur le calcul CCS de Milner.