François Pessaux
1
Documents
Présentation
Welcome! This is my minimal HAL CV/research page. For more details, please consult my page at <http://u2is.ensta-paristech.fr/members/pessaux/index.php?lang=en>
Welcome! This is my minimal HAL CV/research page. For more details, please consult my page at <http://u2is.ensta-paristech.fr/members/pessaux/index.php?lang=en>
Publications
- 1
- 1
|
Hybrid Systems and Contracts with Zélus and DynIbex Zeldyn: a Compilation and Verification Toolchain[Research Report] Ensta ParisTech. 2022
Rapport
hal-03635298v1
|