Specifying Time Constraints of Cyber Physical Systems Based on Clock Theory

Bingqing Xu, Lichen Zhang. Specifying Time Constraints of Cyber Physical Systems Based on Clock Theory. In IEEE 16th International Conference on Computational Science and Engineering, CSE 2013, 3-5 December, 2013, Sydney, Australia. pages 588-594, IEEE, 2013. [doi]

Authors

Bingqing Xu

This author has not been identified. Look up 'Bingqing Xu' in Google

Lichen Zhang

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