Author:
Jiang Yu,Zhang Hehua,Song Xiaoyu,Hung William N.N.,Gu Ming,Sun Jiaguang
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Formal Design of Multi-Function Vehicle Bus Controller;IEEE Transactions on Intelligent Transportation Systems;2021-06
2. Uncertainty Theory Based Reliability-Centric Cyber-Physical System Design;2019 International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, Physical and Social Computing (CPSCom) and IEEE Smart Data (SmartData);2019-07
3. Dependable Model-driven Development of CPS;ACM Transactions on Cyber-Physical Systems;2019-01-16
4. Safety-Assured Formal Model-Driven Design of the Multifunction Vehicle Bus Controller;FM 2016: Formal Methods;2016