Thèse soutenue

Méthodes déductives pour la preuve de programmes LUSTRE
FR
Accès à la thèse
Auteur / Autrice : Cécile Dumas Canovas
Direction : Paul CaspiCatherine Parent
Type : Thèse de doctorat
Discipline(s) : Informatique. Systèmes et communications
Date : Soutenance en 2000
Etablissement(s) : Université Joseph Fourier (Grenoble ; 1971-2015)
Partenaire(s) de recherche : Laboratoire : Institut d'informatique et mathématiques appliquées (Grenoble ; 1989-2006)
Jury : Président / Présidente : Farid Ouabdesselam
Examinateurs / Examinatrices : Marie-Laure Potet
Rapporteurs / Rapporteuses : Véronique Donzeau-Gouge Viguié, Christine Paulin-Mohring

Mots clés

FR