Towards a Modeling Language for Cyber-Physical Systems

Longfei Zhu, Yongxin Zhao, Huibiao Zhu, Qiwen Xu. Towards a Modeling Language for Cyber-Physical Systems. In Zhiming Liu, Jim Woodcock, Huibiao Zhu, editors, Theories of Programming and Formal Methods - Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday. Volume 8051 of Lecture Notes in Computer Science, pages 394-411, Springer, 2013. [doi]

Authors

Longfei Zhu

This author has not been identified. Look up 'Longfei Zhu' in Google

Yongxin Zhao

This author has not been identified. Look up 'Yongxin Zhao' in Google

Huibiao Zhu

This author has not been identified. Look up 'Huibiao Zhu' in Google

Qiwen Xu

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