External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Model-based Construction and Verification of Cyber-Physical Systems

Lei Bu, Tian Zhang 0001, Xin Chen, Linzhang Wang, Jianhua Zhao, Xuandong Li. Model-based Construction and Verification of Cyber-Physical Systems. ACM SIGSOFT Software Engineering Notes, 43(3):6-10, 2018. [doi]

Authors

Lei Bu

This author has not been identified. Look up 'Lei Bu' in Google

Tian Zhang 0001

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

Xin Chen

This author has not been identified. Look up 'Xin Chen' in Google

Linzhang Wang

This author has not been identified. Look up 'Linzhang Wang' in Google

Jianhua Zhao

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

Xuandong Li

This author has not been identified. Look up 'Xuandong Li' in Google
runs on