Pierre-Loïc Garoche
Pierre-Loïc Garoche
Home
Publications
Collaborators
Projects
Tools
Teaching
Talks
Contact
Rapport final CAFEIN. RT 3/21071
Pierre-Loïc Garoche
,
Frank Verdine
,
Alexandre Chapoutot
,
Sylvain Conchon
,
Matthieu Martel
,
Michael Dierkes
January 2017
Type
Report
own
Related
PEA Valencia : Etat d'avancement à T0+3. RT 1/26976
PEA Valencia : Etat d'avancement à T0+9. RT 1/26977
Static Safety for an Actor Dedicated Process Calculus by Abstract Interpretation
Invariant stream generators using automatic abstract transformers based on a decidable logic
From Design to Implementation: an Automated, Credible Autocoding Chain for Control Systems
Cite
×