Runtime Verification Triggers Real-Time, Autonomous Fault Recovery on the CySat-I

von Aurandt, Alexis
Veröffentlicht in NFM (14. : 2022 : Pasadena, Calif.) NASA formal methods (2022)

Model Predictive Runtime Verification for Cyber-Physical Systems with Real-Time Deadlines

von Zhang, Pei
Veröffentlicht in FORMATS (21. : 2023 : Antwerpen) Formal modeling and analysis of timed systems (2023)