共 50 条
- [21] A Tool Prototype for Model-Based Testing of Cyber-Physical Systems THEORETICAL ASPECTS OF COMPUTING - ICTAC 2015, 2015, 9399 : 563 - 572
- [22] Managing Heterogeneity in Model-Based Systems Engineering of Cyber-Physical Systems 2015 10TH INTERNATIONAL CONFERENCE ON P2P, PARALLEL, GRID, CLOUD AND INTERNET COMPUTING (3PGCIC), 2015, : 617 - 622
- [23] A Model-Based Approach to Security Analysis for Cyber-Physical Systems 12TH ANNUAL IEEE INTERNATIONAL SYSTEMS CONFERENCE (SYSCON2018), 2018, : 496 - 503
- [26] Framework for Model-Based Design and Verification of Human-in-the-Loop Cyber-Physical Systems 10TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS - ICSTW 2017, 2017, : 401 - 402
- [27] A Model-Based Approach for the Design of Cyber-Physical Human Systems Emphasizing Human Concerns 2019 IEEE INTERNATIONAL CONGRESS ON INTERNET OF THINGS (IEEE ICIOT 2019), 2019, : 100 - 107
- [28] 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
- [29] Model-based Platform Design and Evaluation of Cloud-based Cyber-Physical Systems (CCPS) 2014 12TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN), 2014, : 376 - +
- [30] Model-based Engineering of Cyber-Physical Software Systems for Smart Worlds: A Case Study of Automobile Control Systems 2013 INTERNATIONAL CONFERENCE ON ADVANCES IN COMPUTING, COMMUNICATIONS AND INFORMATICS (ICACCI), 2013, : 1710 - 1717