Formal proofs for the analysis of real-time systems in Coq

Doctoral student: 
Xiaojie GUO
Supervisors: 
Name: 
Pascal FRADET
Laboratory: 
INRIA/LIG
Name: 
Jean-Francois MONIN
Laboratory: 
Verimag
Name: 
Sophie QUINTON
Laboratory: 
INRIA/LIG