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