共 50 条
- [33] Predicate Monitoring in Distributed Cyber-Physical Systems RUNTIME VERIFICATION (RV 2021), 2021, 12974 : 3 - 22
- [34] Towards Probabilistic Contracts for Intelligent Cyber-Physical Systems LEVERAGING APPLICATIONS OF FORMAL METHOD, VERIFICATION AND VALIDATION: SPECIFICATION AND VERIFICATION, PT III, ISOLA 2024, 2025, 15221 : 26 - 47
- [36] Distributed computing and sensing for structural health monitoring systems SMART STRUCTURES AND MATERIALS 2000: SMART ELECTRONICS AND MEMS, 2000, 3990 : 156 - 166
- [37] Intelligent Security Measures for Smart Cyber-Physical Systems 2018 21ST EUROMICRO CONFERENCE ON DIGITAL SYSTEM DESIGN (DSD 2018), 2018, : 280 - 287
- [38] Intelligent Transportation Cyber-physical Cloud Control Systems Zidonghua Xuebao/Acta Automatica Sinica, 2019, 45 (01): : 132 - 142