共 50 条
- [21] Predicate Monitoring in Distributed Cyber-Physical Systems RUNTIME VERIFICATION (RV 2021), 2021, 12974 : 3 - 22
- [22] Pattern Detection in Cyber-Physical Systems 6TH INTERNATIONAL CONFERENCE ON AMBIENT SYSTEMS, NETWORKS AND TECHNOLOGIES (ANT-2015), THE 5TH INTERNATIONAL CONFERENCE ON SUSTAINABLE ENERGY INFORMATION TECHNOLOGY (SEIT-2015), 2015, 52 : 1016 - 1021
- [23] A Cyber-Physical Experimentation Platform for Resilience Analysis SAT-CPS'22: PROCEEDINGS OF THE 2022 ACM WORKSHOP ON SECURE AND TRUSTWORTHY CYBER-PHYSICAL SYSTEMS, 2022, : 3 - 12
- [24] Formal Specification and Analysis of Robust Adaptive Distributed Cyber-Physical Systems FORMAL METHODS FOR THE QUANTITATIVE EVALUATION OF COLLECTIVE ADAPTIVE SYSTEMS, SFM 2016, 2016, 9700 : 1 - 35
- [26] Anomaly Detection and Productivity Analysis for Cyber-Physical Systems in Manufacturing 2017 13TH IEEE CONFERENCE ON AUTOMATION SCIENCE AND ENGINEERING (CASE), 2017, : 23 - 29
- [28] 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