共 50 条
- [22] Challenges in Modeling Cyber-Physical Systems 2013 ACM/IEEE INTERNATIONAL CONFERENCE ON INFORMATION PROCESSING IN SENSOR NETWORKS (IPSN), 2013, : 5 - 5
- [23] Compositional Cyber-Physical Systems Modeling ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2021, (333): : 125 - 138
- [25] Software Passports for Automated Performance Anomaly Detection of Cyber-Physical Systems EMBEDDED COMPUTER SYSTEMS: ARCHITECTURES, MODELING, AND SIMULATION, SAMOS 2019, 2019, 11733 : 255 - 268
- [28] A first Cyber-Physical Systems of Systems modeling 2018 13TH ANNUAL CONFERENCE ON SYSTEM OF SYSTEMS ENGINEERING (SOSE), 2018, : 9 - 13
- [29] Provable Determinism for Software in Cyber-Physical Systems VERIFIED SOFTWARE: THEORIES, TOOLS AND EXPERIMENTS, VSTTE 2023, 2024, 14095 : 85 - 107
- [30] Software Engineering Issues for Cyber-Physical Systems 2016 IEEE INTERNATIONAL CONFERENCE ON SMART COMPUTING (SMARTCOMP), 2016, : 264 - 269