共 50 条
- [2] Model-based design of embedded systems [J]. SEVENTH IEEE INTERNATIONAL SYMPOSIUM ON OBJECT-ORIENTED REAL-TIME DISTRIBUTED COMPUTING, PROCEEDINGS, 2004, : 121 - 128
- [4] Model-based Systems Design for Green IoT Systems [J]. PROCEEDINGS OF THE 10TH INTERNATIONAL CONFERENCE ON SMART CITIES AND GREEN ICT SYSTEMS (SMARTGREENS), 2021, : 204 - 211
- [5] Model-based concurrent systems design for safety [J]. CONCURRENT ENGINEERING-RESEARCH AND APPLICATIONS, 2004, 12 (04): : 287 - 294
- [7] Model-Based Design and Verification of Reactive Systems [J]. COMPUTER AIDED SYSTEMS THEORY - EUROCAST 2009, 2009, 5717 : 865 - 872
- [10] An Online Model-based Fault Diagnosis Scheme for HVAC Systems [J]. 2011 IEEE INTERNATIONAL CONFERENCE ON CONTROL APPLICATIONS (CCA), 2011, : 70 - 75