共 50 条
- [21] A Hybrid Approach to Cyber-Physical Systems Verification 2012 49TH ACM/EDAC/IEEE DESIGN AUTOMATION CONFERENCE (DAC), 2012, : 688 - 696
- [24] Towards a Security Cost Model for Cyber-Physical Systems 2019 16TH IEEE ANNUAL CONSUMER COMMUNICATIONS & NETWORKING CONFERENCE (CCNC), 2019,
- [25] Optimal Switching Integrity Attacks in Cyber-Physical Systems 2017 32ND YOUTH ACADEMIC ANNUAL CONFERENCE OF CHINESE ASSOCIATION OF AUTOMATION (YAC), 2017, : 709 - 714
- [29] A Multicore Approach to Model-Based Analysis and Design of Cyber-Physical Systems 2013 INTERNATIONAL SOC DESIGN CONFERENCE (ISOCC), 2013, : 278 - 281
- [30] Multi-modeling Approach to Performance Engineering of Cyber-Physical Systems Design 2017 22ND INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS), 2017, : 142 - 145