共 50 条
- [31] Device Collaboration for Stability Assurance in Distributed Cyber-Physical Systems 2014 IEEE 33RD INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS (SRDS), 2014, : 201 - 210
- [32] Trustworthy and High Assurance Cyber-Physical Systems - A Research A genda ERCIM NEWS, 2015, (102): : 20 - 21
- [33] Formal Enforcement of Mission Assurance Properties in Cyber-Physical Systems 2017 IEEE NATIONAL AEROSPACE AND ELECTRONICS CONFERENCE (NAECON), 2017, : 343 - 349
- [34] TRUST.IO: Protecting Physical Interfaces on Cyber-physical Systems 2020 IEEE CONFERENCE ON COMMUNICATIONS AND NETWORK SECURITY (CNS), 2020,
- [35] Architectural Refinements for Enhancing Trust and Securing Cyber-Physical Systems 2017 IEEE SMARTWORLD, UBIQUITOUS INTELLIGENCE & COMPUTING, ADVANCED & TRUSTED COMPUTED, SCALABLE COMPUTING & COMMUNICATIONS, CLOUD & BIG DATA COMPUTING, INTERNET OF PEOPLE AND SMART CITY INNOVATION (SMARTWORLD/SCALCOM/UIC/ATC/CBDCOM/IOP/SCI), 2017,
- [36] Towards Probabilistic Contracts for Intelligent Cyber-Physical Systems LEVERAGING APPLICATIONS OF FORMAL METHOD, VERIFICATION AND VALIDATION: SPECIFICATION AND VERIFICATION, PT III, ISOLA 2024, 2025, 15221 : 26 - 47
- [37] A course in cyber-security, with orientations towards cyber-physical systems 2019 29TH ANNUAL CONFERENCE OF THE EUROPEAN ASSOCIATION FOR EDUCATION IN ELECTRICAL AND INFORMATION ENGINEERING (EAEEIE 2019), 2019,
- [38] Towards Context-Aware Cyber-Physical Systems 2018 IEEE 3RD WORKSHOP ON MONITORING AND TESTING OF CYBER-PHYSICAL SYSTEMS (MT-CPS 2018), 2018, : 10 - 11
- [39] Towards the Applicability of Alf to Model Cyber-Physical Systems 2013 FEDERATED CONFERENCE ON COMPUTER SCIENCE AND INFORMATION SYSTEMS (FEDCSIS), 2013, : 1427 - 1434
- [40] Towards Self-Explainable Cyber-Physical Systems 2019 ACM/IEEE 22ND INTERNATIONAL CONFERENCE ON MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS COMPANION (MODELS-C 2019), 2019, : 543 - 548