VENUS : un outil d'aide à la vérification des systèmes communicants
Résumé
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.
Thèse
Année : 1987
Thèses Imag : Connectez-vous pour contacter le contributeur
https://theses.hal.science/tel-00323702
Soumis le : mardi 23 septembre 2008-06:59:57
Dernière modification le : jeudi 4 avril 2024-21:03:02
Archivage à long terme le : vendredi 4 juin 2010-11:41:58
Dates et versions
Identifiants
- HAL Id : tel-00323702 , version 1
Citer
Amelia Soriano Montes. VENUS : un outil d'aide à la vérification des systèmes communicants. Modélisation et simulation. Institut National Polytechnique de Grenoble - INPG, 1987. Français. ⟨NNT : ⟩. ⟨tel-00323702⟩
101
Consultations
79
Téléchargements