Risk and Mitigation of Nondeterminism in Distributed Cyber-Physical Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Soroush Bateni, Marten Lohstroh, Hou Seng Wong, Hokeun Kim, Shaokai Lin, Christian Menard, Edward A. Lee. Risk and Mitigation of Nondeterminism in Distributed Cyber-Physical Systems. In 21st ACM-IEEE International Symposium on Formal Methods and Models for System Design, MEMOCODE 2023, Hamburg, Germany, September 21-22, 2023. pages 1-11, IEEE, 2023. [doi]

This author has not been identified. Look up 'Soroush Bateni' in GoogleThis author has not been identified. Look up 'Marten Lohstroh' in GoogleThis author has not been identified. Look up 'Hou Seng Wong' in GoogleThis author has not been identified. Look up 'Hokeun Kim' in GoogleThis author has not been identified. Look up 'Shaokai Lin' in GoogleThis author has not been identified. Look up 'Christian Menard' in GoogleThis author has not been identified. Look up 'Edward A. Lee' in Google

runs on WebDSL