共 50 条
- [1] A Model for Signatories in Cyber-Physical Systems 2020 25TH IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA), 2020, : 15 - 21
- [7] A Semantic Model for Interacting Cyber-Physical Systems ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2021, (347): : 77 - 95
- [8] Enabling Model Testing of Cyber-Physical Systems 21ST ACM/IEEE INTERNATIONAL CONFERENCE ON MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS (MODELS 2018), 2018, : 176 - 186
- [9] A Hybrid Model of Connectors in Cyber-Physical Systems FORMAL METHODS AND SOFTWARE ENGINEERING, ICFEM 2014, 2014, 8829 : 59 - 74
- [10] A Hybrid Cyber Attack Model for Cyber-Physical Power Systems IEEE ACCESS, 2020, 8 : 114876 - 114883