Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Clare Dixon
conf.researchr.org general profile
FM 2026 profile
NASA Formal Methods 2024 profile
Not registered as user
Name:
Clare Dixon
Contributions
2026
FM
Author of Security-Minded Modelling and Verification of Autonomous Satellite Docking within the ABZ-track
2024
NFM
Committee Member in Program Committee within the NFM 2024-track
Share
x
Sat 13 Jun 21:03
