A novel approach to Real-time contract based reasoning for Hybrid Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Surinder Sood, Avinash Malik, Partha S. Roop. A novel approach to Real-time contract based reasoning for Hybrid Systems. In 20th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2022, Shanghai, China, October 13-14, 2022. pages 1-11, IEEE, 2022. [doi]

This author has not been identified. Look up 'Surinder Sood' in GoogleThis author has not been identified. Look up 'Avinash Malik' in GoogleThis author has not been identified. Look up 'Partha S. Roop' in Google

runs on WebDSL