共 50 条
- [3] 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
- [4] Development of A Predictive Maintenance Platform for Cyber-Physical Systems 2019 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL CYBER PHYSICAL SYSTEMS (ICPS 2019), 2019, : 331 - 335
- [7] Understanding the impact of cyber-physical correlation on security analysis of Cyber-Physical Systems 2021 IEEE INTL CONF ON DEPENDABLE, AUTONOMIC AND SECURE COMPUTING, INTL CONF ON PERVASIVE INTELLIGENCE AND COMPUTING, INTL CONF ON CLOUD AND BIG DATA COMPUTING, INTL CONF ON CYBER SCIENCE AND TECHNOLOGY CONGRESS DASC/PICOM/CBDCOM/CYBERSCITECH 2021, 2021, : 529 - 534
- [8] Cyber-physical systems challenges: a needs analysis for collaborating embedded software systems Software & Systems Modeling, 2016, 15 : 5 - 16
- [9] A Survey on Cyber-Physical Systems Security IEEE INTERNET OF THINGS JOURNAL, 2023, 10 (24) : 21670 - 21686