Specify and Model Automotive Cyber Physical Systems Using Hybrid Relation Calculus

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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.