: Pierre-Loïc Garoche
: Formal Verification of Control System Software
: Princeton University Press
: 9780691189581
: Princeton Series in Applied Mathematics
: 1
: CHF 119.00
:
: Informatik
: English
: 100
: Wasserzeichen
: PC/MAC/eReader/Tablet
: PDF


Pierre-Loïc Garoche is senior research scientist at ONERA, France's national aerospace research center.