Open AccessFormal Approach for the Verification of Onboard Autonomous Functions in Observation Satellites
Author(s) -
Vincent Mussot,
Silvano Dal Zilio,
Loïc Correnson,
Serge Rainjonneau,
Yves Bardout,
Grégoire Scano
Publication year - 2020
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - computer science , formal verification , systems engineering , remote sensing , programming language , engineering , geology