共 50 条
- [31] Model-Based Analysis for Safety Critical Software COMPUTER SAFETY, RELIABILITY, AND SECURITY, SAFECOMP 2015, 2015, 9337 : 111 - 120
- [32] Towards formalized model-based requirements for a seamless design approach in safety-critical systems development 2015 IEEE 18th International Symposium on Real-Time Distributed Computing Workshops, 2015, : 111 - 115
- [33] A Model-Based Method for Fault Detection and Isolation of Electric Drive Systems 2020 IEEE INTERNATIONAL CONFERENCE ON PROGNOSTICS AND HEALTH MANAGEMENT (ICPHM), 2020,
- [34] Model-based Approach for Sensor Fault-tolerant Drive Systems 2015 17TH EUROPEAN CONFERENCE ON POWER ELECTRONICS AND APPLICATIONS (EPE'15 ECCE-EUROPE), 2015,
- [35] Runtime Model-Based Safety Analysis of Self-Organizing Systems with S# 2015 IEEE NINTH INTERNATIONAL CONFERENCE ON SELF-ADAPTIVE AND SELF-ORGANIZING SYSTEMS WORKSHOPS (SASOW), 2015, : 128 - 133
- [36] Towards a Method for Combined Model-based Testing and Analysis PROCEEDINGS OF THE 2014 2ND INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT (MODELSWARD 2014), 2014, : 609 - 618
- [37] Towards model-based development of safety-related control applications 2011 IEEE 16TH CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA), 2011,
- [39] Towards World Model-based Test Generation in Autonomous Systems MODELSWARD 2015 PROCEEDINGS OF THE 3RD INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT, 2015, : 165 - 176
- [40] Towards Model-Based Continuous Deployment of Secure IoT Systems 2019 ACM/IEEE 22ND INTERNATIONAL CONFERENCE ON MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS COMPANION (MODELS-C 2019), 2019, : 613 - 618