Achieving Runtime State Verification Assurance in Critical Cyber-Physical Infrastructures - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Abel O. Gomez Rivera, Deepak K. Tosh, Sachin Shetty. Achieving Runtime State Verification Assurance in Critical Cyber-Physical Infrastructures. In IEEE International Conference on Communications, Control, and Computing Technologies for Smart Grids, SmartGridComm 2021, Aachen, Germany, October 25-28, 2021. pages 245-251, IEEE, 2021. [doi]

This author has not been identified. Look up 'Abel O. Gomez Rivera' in GoogleThis author has not been identified. Look up 'Deepak K. Tosh' in GoogleThis author has not been identified. Look up 'Sachin Shetty' in Google

runs on WebDSL