共 50 条
- [21] Cyber-Physical Systems for Optimal Energy Management Scheme of Autonomous Electric Vehicle COMPUTER JOURNAL, 2013, 56 (08): : 947 - 956
- [22] Systems Engineering Roadmap for Dependable Autonomous Cyber-Physical Systems PROCEEDINGS OF THE 2021 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION (DATE 2021), 2021, : 1622 - 1625
- [23] Medical Cyber-Physical Systems (Track Introduction) LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: SPECIALIZED TECHNIQUES AND APPLICATIONS, PT II, 2014, 8803 : 353 - 355
- [24] Certifiable and Efficient Autonomous Cyber-Physical Systems Design PROCEEDINGS OF THE 37TH INTERNATIONAL CONFERENCE ON VLSI DESIGN, VLSID 2024 AND 23RD INTERNATIONAL CONFERENCE ON EMBEDDED SYSTEMS, ES 2024, 2024, : 259 - 263
- [25] A Communication Architecture for Cooperative Networked Cyber-Physical Systems 2019 16TH IEEE ANNUAL CONSUMER COMMUNICATIONS & NETWORKING CONFERENCE (CCNC), 2019,
- [26] Compositional Analysis of Parametric Cooperative Cyber-Physical Systems PROCEEDINGS OF THE 2024 IEEE/ACM 12TH INTERNATIONAL CONFERENCE ON FORMAL METHODS IN SOFTWARE ENGINEERING, FORMALISE 2024, 2024, : 77 - 87
- [30] Resilient Security of Medical Cyber-Physical Systems DATABASE AND EXPERT SYSTEMS APPLICATIONS (DEXA 2019), 2019, 1062 : 95 - 100