Pierre Virelizier

Latest

• Timed Formal Model and Verification of Satellite FDIR in Early Design Phase
• A Model-Checking Approach to Analyse Temporal Failure Propagation with AltaRica