CRV: Automated Cyber-Resiliency Reasoning for System Design Models - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Daniel Larraz, Robert Lorch, Moosa Yahyazadeh, M. Fareed Arif, Omar Chowdhury, Cesare Tinelli. CRV: Automated Cyber-Resiliency Reasoning for System Design Models. In Alexander Nadel, Kristin Yvonne Rozier, editors, Formal Methods in Computer-Aided Design, FMCAD 2023, Ames, IA, USA, October 24-27, 2023. pages 209-220, IEEE, 2023. [doi]

This author has not been identified. Look up 'Daniel Larraz' in GoogleThis author has not been identified. Look up 'Robert Lorch' in GoogleThis author has not been identified. Look up 'Moosa Yahyazadeh' in GoogleThis author has not been identified. Look up 'M. Fareed Arif' in GoogleThis author has not been identified. Look up 'Omar Chowdhury' in GoogleThis author has not been identified. Look up 'Cesare Tinelli' in Google

runs on WebDSL