A proof-based method of hybrid systems development using differential invariants - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jie Liu 0013, Jing Liu 0012, Miaomiao Zhang, Haiying Sun, Xiaohong Chen 0001, Dehui Du, Mingsong Chen. A proof-based method of hybrid systems development using differential invariants. Frontiers of Computer Science in China, 12(5):1026-1028, 2018. [doi]

This author has not been identified. Look up 'Jie Liu 0013' in GoogleThis author has not been identified. Look up 'Jing Liu 0012' in GoogleThis author has not been identified. Look up 'Miaomiao Zhang' in GoogleThis author has not been identified. Look up 'Haiying Sun' in GoogleThis author has not been identified. Look up 'Xiaohong Chen 0001' in GoogleThis author has not been identified. Look up 'Dehui Du' in GoogleThis author has not been identified. Look up 'Mingsong Chen' in Google

runs on WebDSL