共 50 条
- [21] Compositional Cyber-Physical Systems Modeling ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2021, (333): : 125 - 138
- [22] A first Cyber-Physical Systems of Systems modeling 2018 13TH ANNUAL CONFERENCE ON SYSTEM OF SYSTEMS ENGINEERING (SOSE), 2018, : 9 - 13
- [23] Provable Determinism for Software in Cyber-Physical Systems VERIFIED SOFTWARE: THEORIES, TOOLS AND EXPERIMENTS, VSTTE 2023, 2024, 14095 : 85 - 107
- [25] Automatic Verification of Control Software in Cyber-Physical Systems with Plant Simulators Optoelectronics, Instrumentation and Data Processing, 2019, 55 : 189 - 197
- [26] Software Engineering Issues for Cyber-Physical Systems 2016 IEEE INTERNATIONAL CONFERENCE ON SMART COMPUTING (SMARTCOMP), 2016, : 264 - 269
- [27] Dynamic Software Updating for Cyber-Physical Systems 18TH IEEE INTERNATIONAL SYMPOSIUM ON CONSUMER ELECTRONICS (ISCE 2014), 2014,
- [28] Software Performance Antipatterns in Cyber-Physical Systems PROCEEDINGS OF THE ACM/SPEC INTERNATIONAL CONFERENCE ON PERFORMANCE ENGINEERING (ICPE'20), 2020, : 173 - 180
- [30] On The Economic Control of Cyber-physical Systems 2017 IEEE 7TH ANNUAL INTERNATIONAL CONFERENCE ON CYBER TECHNOLOGY IN AUTOMATION, CONTROL, AND INTELLIGENT SYSTEMS (CYBER), 2017, : 86 - 90