Mathematics Genealogy

Static mirror of the Mathematics Genealogy Project

Support the actual Mathematics Genealogy Project by making a donation, so that they can run their services again, instead of this temporary static unofficial mirror.

Christophe Ratel

Original record
Institution
Université Joseph Fourier Grenoble I
Year
1992
Country
France
MGP identifier
297341

Dissertation: Définition et réalisation d'un outil de vérification formelle de programmes LUSTRE: le système LESAR

Mathematics Subject Classification: 68—Computer science

Advisor 1

  • Nicolas HalbwachsInstitut National Polytechnique de Grenoble (INPG) and Université Joseph Fourier Grenoble I · 1979

Students 0

No students recorded in this snapshot.

Genealogy