共 50 条
- [3] Secure Control for Cyber-Physical Systems Under Malicious Attacks [J]. IEEE TRANSACTIONS ON CONTROL OF NETWORK SYSTEMS, 2022, 9 (02): : 775 - 788
- [4] Formal Analysis of Control Software for Cyber-Physical Systems [J]. 2017 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY COMPANION (QRS-C), 2017, : 563 - 564
- [5] Modeling more software performance antipatterns in cyber-physical systems [J]. SOFTWARE AND SYSTEMS MODELING, 2024, 23 (04): : 1003 - 1023
- [6] Formal Modeling of Testing Software for Cyber-Physical Automation Systems [J]. 2015 IEEE TRUSTCOM/BIGDATASE/ISPA, VOL 3, 2015, : 301 - 306
- [10] Statistical model checking of cyber-physical systems control software [J]. Ruan Jian Xue Bao/Journal of Software, 2015, 26 (02): : 380 - 389