Pierre-Loïc Garoche
Pierre-Loïc Garoche
Home
News
Jobs & internships
Publications
Collaborators
Projects
Tools
Teaching
Talks
Contact
Light
Dark
Automatic
Verification of aircraft controller: from process-based certification to product-based certification
Pierre-Loic Garoche
June 2012
Cite
Type
Conference paper
Publication
Air Force Safe & Secure Systems & Software Symposium, S5 Conference, Dayton, OH, USA
"abstractonly"
"own"
Related
Semi-Definite Programs for Discrete-time Piecewise Affine Systems
Semidefinite Approximations of Reachable Sets for Discrete-Time Polynomial Systems
Semidefinite Approximations of Reachability Sets for Discrete-time Polynomial Systems
Certificate-carrying modular compilation
Credible autocoding of convex optimization algorithms
Cite
×