Silvano DAL ZILIO
Silvano DAL ZILIO
Home
Publications
Projects
Courses
Posts
Software
Contact
Light
Dark
Automatic
Space
Formal Approach for the Verification of Onboard Autonomous Functions in Observation Satellites
We propose a new approach for modelling the functional behaviour of an Earth observation satellite. We leverage this approach in order …
Vincent Mussot
,
Silvano Dal Zilio
,
Loïc Correnson
,
Serge Rainjonneau
,
Yves Bardout
,
Grégoire Scano
PDF
Cite
Project
Cite
×