Model Checking Bounded Continuous-time Extended Linear Duration Invariants - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jie An, Naijun Zhan, Xiaoshan Li, Miaomiao Zhang, Wang Yi 0001. Model Checking Bounded Continuous-time Extended Linear Duration Invariants. In Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), HSCC 2018, Porto, Portugal, April 11-13, 2018. pages 81-90, ACM, 2018. [doi]

This author has not been identified. Look up 'Jie An' in GoogleThis author has not been identified. Look up 'Naijun Zhan' in GoogleThis author has not been identified. Look up 'Xiaoshan Li' in GoogleThis author has not been identified. Look up 'Miaomiao Zhang' in GoogleThis author has not been identified. Look up 'Wang Yi 0001' in Google

runs on WebDSL