共 50 条
- [21] Design Level Debugging of Timing Behavior in Embedded Systems: Using a Model-Based Approach 2011 9TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN), 2011,
- [22] Model-based design verification for embedded systems through SVOCL: an OCL extension for SystemVerilog Design Automation for Embedded Systems, 2017, 21 : 1 - 36
- [23] Model-Based Requirements and Properties Specifications Trends for Early Design Verification of Embedded Systems 2016 11TH SYSTEMS OF SYSTEM ENGINEERING CONFERENCE (SOSE), IEEE, 2016,
- [24] Demo Abstract: An Inverted Pendulum Demonstrator for Timed Model-Based Design of Embedded Systems 2012 IEEE/ACM THIRD INTERNATIONAL CONFERENCE ON CYBER-PHYSICAL SYSTEMS (ICCPS 2012), 2012, : 224 - 224
- [26] Modern model-based development approach for embedded systems 2015 IEEE INTERNATIONAL SYMPOSIUM ON SYSTEMS ENGINEERING (ISSE) PROCEEDINGS, 2015, : 56 - 59
- [28] Towards a Workflow for Model-Based Testing of Embedded Systems A-TEST '21: PROCEEDINGS OF THE 12TH INTERNATIONAL WORKSHOP ON AUTOMATING TEST CASE DESIGN, SELECTION, AND EVALUATION, 2021, : 33 - 40
- [29] Model-based Development of Embedded Systems' User Interfaces PROCEEDINGS OF THE 5TH INTERNATIONAL WORKSHOP ON MODEL BASED ARCHITECTING AND CONSTRUCTION OF EMBEDDED SYSTEMS (ACES'MB 2012), 2013, : 37 - 42
- [30] A Model-Based Testing Framework for Automotive Embedded Systems 2014 40TH EUROMICRO CONFERENCE SERIES ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS (SEAA 2014), 2014, : 38 - 47