Thèse de doctorat en Automatique, traitement du signal et génie informatique
Sous la direction de Janine Magnier.
Soutenue en 2001
à Montpellier 2 .
Pas de résumé disponible.
Definition of a property model and proposition of an associated specification language : LUSP
Pas de résumé disponible.