共 50 条
- [1] Integration of formal analysis into a model-based software development process [J]. FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, 2008, 4916 : 68 - +
- [2] Model Based Testing of Satellite On-Board Software - an Industrial Use Case [J]. 2016 IEEE AEROSPACE CONFERENCE, 2016,
- [3] Software Development of On-board Power Electronics Equipment Using Model-Based Design Methodology [J]. CURRENT DEVELOPMENT OF MECHANICAL ENGINEERING AND ENERGY, PTS 1 AND 2, 2014, 494-495 : 1524 - +
- [4] Schedulability Analysis of On-board Satellite Software Based on Model-Driven and Compositionality Techniques [J]. 2013 8TH IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL EMBEDDED SYSTEMS (SIES), 2013, : 178 - 187
- [5] Integrating Usability Methods into Model-Based Software Development [J]. COMPUTER-AIDED DESIGN OF USER INTERFACES VI, 2009, : 125 - 136
- [6] Research on on-board embedded software testing process model [J]. Guangxue Jingmi Gongcheng/Optics and Precision Engineering, 2008, 16 (09): : 1654 - 1659
- [7] Model-based on-board turbofan thrust estimation [J]. CONTROL ENGINEERING PRACTICE, 2011, 19 (06) : 602 - 610
- [8] Formal Model-Based Development in Industrial Automation with Reactive Blocks [J]. SOFTWARE TECHNOLOGIES: APPLICATIONS AND FOUNDATIONS (STAF 2016), 2016, 9946 : 253 - 261