共 50 条
- [31] Towards a Science of Cyber-Physical Systems Design 2011 ACM/IEEE SECOND INTERNATIONAL CONFERENCE ON CYBER-PHYSICAL SYSTEMS (ICCPS 2011), 2011, : 99 - 108
- [32] Using UML for Learning How to Design and Model Cyber-Physical Systems IEEE REVISTA IBEROAMERICANA DE TECNOLOGIAS DEL APRENDIZAJE-IEEE RITA, 2020, 15 (01): : 50 - 60
- [33] A Tool Suite for the Model-Driven Software Engineering of Cyber-Physical Systems 22ND ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING (FSE 2014), 2014, : 715 - 718
- [35] Component-Based Refinement and Verification of Information-Flow Security Policies for Cyber-Physical Microservice Architectures 2019 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ARCHITECTURE (ICSA), 2019, : 61 - 70
- [37] Model Checking Cyber-Physical Energy Systems PROCEEDINGS OF 2017 INTERNATIONAL RENEWABLE & SUSTAINABLE ENERGY CONFERENCE (IRSEC' 17), 2017, : 635 - 640
- [38] Enabling Model Testing of Cyber-Physical Systems 21ST ACM/IEEE INTERNATIONAL CONFERENCE ON MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS (MODELS 2018), 2018, : 176 - 186
- [39] Design Lifecycle for Secure Cyber-Physical Systems based on Embedded Devices PROCEEDINGS OF THE 2017 9TH IEEE INTERNATIONAL CONFERENCE ON INTELLIGENT DATA ACQUISITION AND ADVANCED COMPUTING SYSTEMS: TECHNOLOGY AND APPLICATIONS (IDAACS), VOL 1, 2017, : 277 - 282
- [40] Mining parametric temporal logic properties in model-based design for cyber-physical systems International Journal on Software Tools for Technology Transfer, 2018, 20 : 79 - 93