Thèse soutenue

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