共 50 条
- [21] A Hybrid Approach to Cyber-Physical Systems Verification 2012 49TH ACM/EDAC/IEEE DESIGN AUTOMATION CONFERENCE (DAC), 2012, : 688 - 696
- [23] A Semi-Automated Approach to Foster the Validation of Collaborative Networks of Cyber-Physical Systems 2018 IEEE/ACM 4TH INTERNATIONAL WORKSHOP ON SOFTWARE ENGINEERING FOR SMART CYBER-PHYSICAL SYSTEMS (SESCPS), 2018, : 6 - 12
- [28] Optimization and Control of Cyber-Physical Vehicle Systems SENSORS, 2015, 15 (09) : 23020 - 23049
- [29] Effectiveness Proving and Control of Platoon-Based Vehicular Cyber-Physical Systems IEEE ACCESS, 2018, 6 : 21140 - 21151