Opportunities and Challenges in Monitoring Cyber-Physical Systems Security - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Borzoo Bonakdarpour, Jyotirmoy V. Deshmukh, Miroslav Pajic. Opportunities and Challenges in Monitoring Cyber-Physical Systems Security. In Tiziana Margaria, Bernhard Steffen, editors, Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice - 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV. Volume 11247 of Lecture Notes in Computer Science, pages 9-18, Springer, 2018. [doi]

This author has not been identified. Look up 'Borzoo Bonakdarpour' in GoogleThis author has not been identified. Look up 'Jyotirmoy V. Deshmukh' in GoogleThis author has not been identified. Look up 'Miroslav Pajic' in Google

runs on WebDSL