- 1
PG
Pierre-Loïc Garoche
1
Documents
Affiliations actuelles
- 380071
Identifiants chercheurs
- pierre-loic-garoche
- Arxiv : garoche_p_1
- IdRef : 127405690
- 0000-0002-0513-6076
- Google Scholar : https://scholar.google.com/citations?user=KvqkWwwAAAAJ
Présentation
Homepage: [www.garoche.net](https://www.garoche.net)
Publications
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
Equation-Directed Axiomatization of Lustre Semantics to Enable Optimized Code ValidationACM Transactions on Embedded Computing Systems (TECS), 2023, 22 (5), pp.151. ⟨10.1145/3609393⟩
Article dans une revue
hal-04201875v1
|