Security modelling and formal verification of survivability properties: Application to cyber-physical systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Simona Bernardi 0001, Ugo Gentile, Stefano Marrone 0001, José Merseguer, Roberto Nardone. Security modelling and formal verification of survivability properties: Application to cyber-physical systems. Journal of Systems and Software, 171:110746, 2021. [doi]

This author has not been identified. Look up 'Simona Bernardi 0001' in GoogleThis author has not been identified. Look up 'Ugo Gentile' in GoogleThis author has not been identified. Look up 'Stefano Marrone 0001' in GoogleThis author has not been identified. Look up 'José Merseguer' in GoogleIdentified as Roberto Nardone

runs on WebDSL