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 | Plan du site | Site réalisé avec SPIP 4.2.16 + AHUNTSIC [CC License]

info visites 4158478