TY - RPRT TI - Dynamic Assurance Cases: Closing the Loop Between Design and Operational Assurance AU - Ewen Denney AU - Jonathan Menzies AU - Ganesh Pai UR - https://ntrs.nasa.gov/citations/20230007853 ID - 20230007853 ER -