共 50 条
- [21] Security Against Communication Network Attacks of Cyber-Physical Systems Journal of Control, Automation and Electrical Systems, 2019, 30 : 125 - 135
- [23] CYBER-PHYSICAL SYSTEMS: DYNAMIC SENSOR ATTACKS AND STRONG OBSERVABILITY 2015 IEEE INTERNATIONAL CONFERENCE ON ACOUSTICS, SPEECH, AND SIGNAL PROCESSING (ICASSP), 2015, : 1752 - 1756
- [25] Design-time Quantification of Integrity in Cyber-physical Systems PROCEEDINGS OF THE 2017 WORKSHOP ON PROGRAMMING LANGUAGES AND ANALYSIS FOR SECURITY (PLAS' 17), 2017, : 63 - 74
- [29] Modeling Cyber-Physical Systems for Automatic Verification 2017 14TH INTERNATIONAL CONFERENCE ON SYNTHESIS, MODELING, ANALYSIS AND SIMULATION METHODS AND APPLICATIONS TO CIRCUIT DESIGN (SMACD), 2017,
- [30] Monitoring Cyber-Physical Systems Using a Tiny Twin to Prevent Cyber-Attacks MODEL CHECKING SOFTWARE, SPIN 2022, 2022, 13255 : 24 - 43