Marie De Roquemaurel

Latest

• Timed Formal Model and Verification of Satellite FDIR in Early Design Phase