Vérification d'invariants de systèmes paramétrés par superposition
FR |
EN
Auteur / Autrice : | Jean-François Couchot |
Direction : | Françoise Bellegarde, Alain Giorgetti |
Type : | Thèse de doctorat |
Discipline(s) : | Informatique |
Date : | Soutenance en 2006 |
Etablissement(s) : | Besançon |
Mots clés
FR