Opening book details…
About this Computer Science article
Modeling and checking for Cyber–Physical System based on hybrid interface automata by Zhang, Yan; Shi, Jin; Zhang, Tian; Liu, Xiangwei; Qian, Zhuzhong is a Computer Science article available to read on EtoBox.
It is typically read by researchers, students, and practitioners in Computer Science.
- Author
- Zhang, Yan; Shi, Jin; Zhang, Tian; Liu, Xiangwei; Qian, Zhuzhong
- Publisher
- Elsevier Science; Elsevier ; Elsevier BV (ISSN 1574-1192)
- Published
- 2015
- Field
- Computer Science (Physical Sciences)
More by Zhang, Yan; Shi, Jin; Zhang, Tian; Liu, Xiangwei; Qian, Zhuzhong
Browse all works by Zhang, Yan; Shi, Jin; Zhang, Tian; Liu, Xiangwei; Qian, Zhuzhong