Verimag

Jan Mikac

supervisor: P. Caspi - PhD 2002-2005

Refinements and Proofs for Lustre Systems.

Committee (November 14th, 2005):

— Florence Maraninchi (PR, Grenoble INP, President)
— Véronique Viguié Donzeau-Gouge (PR, Paris), reviewer
— Robert de Simone (DR INRIA), reviewer
— Paul Caspi (DR CNRS), supervisor
— Marie-Laure Potet (MCF Grenoble INP)
— Pierre Chartier (RATP)

Full text (in French) is available here.

Publications

Public LinkedIn Profile.


Contact | Site Map | Site powered by SPIP 3.0.22 + AHUNTSIC [CC License]

info visites 705173