共 50 条
- [41] Model-based automatic test case generation for automotive embedded software testing International Journal of Automotive Technology, 2018, 19 : 107 - 119
- [43] An Automated Software Verification Tool for Model-based Development of Embedded Systems with Simulink® 2009 XXII INTERNATIONAL SYMPOSIUM ON INFORMATION, COMMUNICATION AND AUTOMATION TECHNOLOGIES, 2009, : 45 - 50
- [44] Model-based software development - A Process for safety-critical embedded Systems ATP EDITION, 2012, (7-8): : 60 - 66
- [45] A Novel, Model-Based, Specification-Driven Embedded Software Integration Platform 2021 IEEE AEROSPACE CONFERENCE (AEROCONF 2021), 2021,
- [46] A Model-Based Approach for Remote Development of Embedded Software for Object Avoidance Applications 2023 9TH INTERNATIONAL CONFERENCE ON AUTOMATION, ROBOTICS AND APPLICATIONS, ICARA, 2023, : 351 - 355
- [47] An empirical evaluation of the i* framework in a model-based software generation environment ADVANCED INFORMATION SYSTEMS ENGINEERING, PROCEEDINGS, 2006, 4001 : 513 - 527
- [49] A Model Driven Testing Environment for Embedded Software INTERNATIONAL CONFERENCE ON GRAPHIC AND IMAGE PROCESSING (ICGIP 2012), 2013, 8768