Grégoire Scano

Latest

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