共 50 条
- [41] Formal modeling and analyzing high-confidence software of cyber-physical systems Yu, Zhen-Hua, 1857, Systems Engineering Society of China (34):
- [42] Architecture of Software Platform for Testing Software of Cyber-Physical Systems DATA SCIENCE AND ALGORITHMS IN SYSTEMS, 2022, VOL 2, 2023, 597 : 488 - 494
- [43] A modeling approach for Cyber-Physical Systems based on collaborative processes IFAC PAPERSONLINE, 2019, 52 (13): : 2764 - 2769
- [44] Modeling and Requirements on the Physical Side of Cyber-Physical Systems 2013 2ND INTERNATIONAL WORKSHOP ON THE TWIN PEAKS OF REQUIREMENTS AND ARCHITECTURE (TWINPEAKS), 2013, : 1 - 7
- [45] NONDEDUCIBILITY-BASED ANALYSIS OF CYBER-PHYSICAL SYSTEMS CRITICAL INFRASTRUCTURE PROTECTION III, 2009, 311 : 169 - 183
- [46] Challenges in Physical Modeling for Adaptation of Cyber-Physical Systems 2016 IEEE 3RD WORLD FORUM ON INTERNET OF THINGS (WF-IOT), 2016, : 210 - 215
- [47] SCADA modeling for performance and vulnerability assessment of integrated cyber-physical systems INTERNATIONAL TRANSACTIONS ON ELECTRICAL ENERGY SYSTEMS, 2015, 25 (03): : 498 - 519
- [48] 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
- [49] A comprehensive survey on modeling of cyber-physical systems CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2020, 32 (15):
- [50] Verification, Optimization, Performance Analysis and Synthesis of Cyber-Physical Systems ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2017, (240):