共 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] Statistical Model Checking for Cyber-Physical Systems AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, 2011, 6996 : 1 - 12
- [10] A Hybrid Model of Connectors in Cyber-Physical Systems FORMAL METHODS AND SOFTWARE ENGINEERING, ICFEM 2014, 2014, 8829 : 59 - 74