Yves Bardout

Latest

• Formal Approach for the Verification of Onboard Autonomous Functions in Observation Satellites