Specify and Model Automotive Cyber Physical Systems Using Hybrid Relation Calculus - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Lichen Zhang, Jingyong Liu. Specify and Model Automotive Cyber Physical Systems Using Hybrid Relation Calculus. In 26th International Conference on Automation and Computing, ICAC 2021, Portsmouth, United Kingdom, September 2-4, 2021. pages 1-6, IEEE, 2021. [doi]

This author has not been identified. Look up 'Lichen Zhang' in GoogleThis author has not been identified. Look up 'Jingyong Liu' in Google

runs on WebDSL