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]
Abstract is missing.