共 50 条
- [3] Secure Control for Cyber-Physical Systems Under Malicious Attacks IEEE TRANSACTIONS ON CONTROL OF NETWORK SYSTEMS, 2022, 9 (02): : 775 - 788
- [4] Formal Analysis of Control Software for Cyber-Physical Systems 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 SOFTWARE AND SYSTEMS MODELING, 2024, 23 (04): : 1003 - 1023
- [6] Formal Modeling of Testing Software for Cyber-Physical Automation Systems 2015 IEEE TRUSTCOM/BIGDATASE/ISPA, VOL 3, 2015, : 301 - 306
- [10] Software Defined Networking for Communication and Control of Cyber-physical Systems 2015 IEEE 21ST INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED SYSTEMS (ICPADS), 2015, : 803 - 808