Utilisation d'abstractions pour modéliser et vérifier des systèmes distribués utilisés en téléphonie cellulaire
FR |
EN
Auteur / Autrice : | Fabrice Derepas |
Direction : | Paul Gastin |
Type : | Thèse de doctorat |
Discipline(s) : | Algorithmique |
Date : | Soutenance en 2002 |
Etablissement(s) : | Paris 7 |
Mots clés
FR