共 50 条
- [11] Model-driven Development for ESP-based IoT Systems 2021 IEEE/ACM 3RD INTERNATIONAL WORKSHOP ON SOFTWARE ENGINEERING RESEARCH AND PRACTICES FOR THE IOT (SERP4IOT), 2021, : 9 - 12
- [12] A model-based approach to develop a mechatronic system PROCEEDINGS OF 2020 IEEE INTERNATIONAL CONFERENCE ON AUTOMATION, QUALITY AND TESTING, ROBOTICS (AQTR), 2020, : 191 - 194
- [13] A domain-oriented, model-based approach for construction and verification of railway control systems FORMAL METHODS AND HYBRID REAL-TIME SYSTEMS, 2007, 4700 : 320 - +
- [15] Testing Environment Emulation - A Model-based Approach MODELSWARD: PROCEEDINGS OF THE 5TH INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT, 2017, : 112 - 124
- [19] Augmenting Model-Based Systems Engineering with Knowledge ACM/IEEE 25TH INTERNATIONAL CONFERENCE ON MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, MODELS 2022 COMPANION, 2022, : 351 - 358
- [20] A Model-Based Synthesis Process for Choreography Realizability Enforcement FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, FASE 2013, 2013, 7793 : 37 - 52