Thèse soutenue

Analyse statique et évaluation partielle de systèmes de processus mobiles
FR  |  
EN
Accès à la thèse
Auteur / Autrice : Matthieu Martel
Direction : Claude Charles Marc Gengler
Type : Thèse de doctorat
Discipline(s) : Informatique
Date : Soutenance en 2000
Etablissement(s) : Aix-Marseille 2
Partenaire(s) de recherche : autre partenaire : Université d'Aix-Marseille II. Faculté des sciences

Mots clés

FR

Mots clés contrôlés