Vérification des systèmes hiérarchiques et préservation de propriétés linéaires par raffinement
FR |
EN
Auteur / Autrice : | Mohammed Al Achhab |
Direction : | Hassan Mountassir |
Type : | Thèse de doctorat |
Discipline(s) : | Informatique |
Date : | Soutenance en 2006 |
Etablissement(s) : | Besançon |
Partenaire(s) de recherche : | autre partenaire : Université de Franche-Comté. UFR des sciences et techniques |
Mots clés
FR