Thèse soutenue

Raffiner pour vérifier des systèmes paramétrés

FR  |  
EN
Auteur / Autrice : Célina Charlet
Direction : Françoise Bellegarde
Type : Thèse de doctorat
Discipline(s) : informatique
Date : Soutenance en 2003
Etablissement(s) : Besançon
Partenaire(s) de recherche : autre partenaire : Université de Franche-Comté. UFR des sciences et techniques

Mots clés

FR

Mots clés contrôlés