Researcher interested in formal verification of numerical intensive (control) software : aircraft controllers, AOCS, trajectory planning, HPC, ...

Compte perso

ID: 432611994

linkhttps://press.princeton.edu/titles/13345.html calendar_today09-12-2011 15:51:27