TY  - RPRT
TI  - Formal Approach for the Verification of Onboard Autonomous Functions in Observation Satellites
AU  - Vincent Mussot
AU  - Silvano Dal Zilio
AU  - Loic Correnson
AU  - Serge Rainjonneau
AU  - Yves Bardout
AU  - Grégoire Scano
PY  - 2020
UR  - https://arxiv.org/abs/2001.11875
ID  - 2001.11875
ER  -