Non-linear Analysis for Operational Safety Verification of Cyber Physical Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Ayan Banerjee, Imane Lamrani, Sandeep K. S. Gupta. Non-linear Analysis for Operational Safety Verification of Cyber Physical Systems. In IEEE Conference on Industrial Cyberphysical Systems, ICPS 2020, Tampere, Finland, June 10-12, 2020. pages 529-534, IEEE, 2020. [doi]

This author has not been identified. Look up 'Ayan Banerjee' in GoogleThis author has not been identified. Look up 'Imane Lamrani' in GoogleThis author has not been identified. Look up 'Sandeep K. S. Gupta' in Google

runs on WebDSL