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

Xiaojie Guo

Appel 2016, Thèse équipe action

Co-encadrants

Pascal Fradet (INRIA/LIG)
Jean-Francois Monin (Verimag)
Sophie Quinton (INRIA/LIG)

Date de soutenance

27/05/2020

Equipe action

Caserm

En savoir plus

Voir la fiche descriptive sur le portail national des thèses