共 50 条
- [31] Cyber-Physical Programmable Logic Controllers Architecture and Model-Based Design ATP EDITION, 2013, (04): : 58 - 64
- [33] Monitoring Cyber-Physical Systems: From Design to Integration RUNTIME VERIFICATION (RV 2020), 2020, 12399 : 87 - 106
- [34] Model-Based Testing for Execution Algorithms in the Simulation of Cyber-Physical Systems 2013 IEEE AUTOTESTCON, 2013,
- [39] A Semantic Model-based Security Engineering Framework for Cyber-Physical Systems 2020 IEEE 19TH INTERNATIONAL CONFERENCE ON TRUST, SECURITY AND PRIVACY IN COMPUTING AND COMMUNICATIONS (TRUSTCOM 2020), 2020, : 1826 - 1833