共 50 条
- [21] Communication Patterns for Cyber-Physical Systems PROCEEDINGS OF 2015 IEEE 20TH CONFERENCE ON EMERGING TECHNOLOGIES & FACTORY AUTOMATION (ETFA), 2015,
- [22] Networking and Computing in Internet of Things and Cyber-Physical Systems 2020 IEEE 14TH INTERNATIONAL CONFERENCE ON APPLICATION OF INFORMATION AND COMMUNICATION TECHNOLOGIES (AICT2020), 2020,
- [24] Provable Determinism for Software in Cyber-Physical Systems VERIFIED SOFTWARE: THEORIES, TOOLS AND EXPERIMENTS, VSTTE 2023, 2024, 14095 : 85 - 107
- [25] Software Engineering Issues for Cyber-Physical Systems 2016 IEEE INTERNATIONAL CONFERENCE ON SMART COMPUTING (SMARTCOMP), 2016, : 264 - 269
- [26] Automatic Verification of Control Software in Cyber-Physical Systems with Plant Simulators Optoelectronics, Instrumentation and Data Processing, 2019, 55 : 189 - 197
- [28] Dynamic Software Updating for Cyber-Physical Systems 18TH IEEE INTERNATIONAL SYMPOSIUM ON CONSUMER ELECTRONICS (ISCE 2014), 2014,
- [29] Software Performance Antipatterns in Cyber-Physical Systems PROCEEDINGS OF THE ACM/SPEC INTERNATIONAL CONFERENCE ON PERFORMANCE ENGINEERING (ICPE'20), 2020, : 173 - 180