共 50 条
- [41] MODEL-DRIVEN ENGINEERING AND FORMAL VALIDATION OF HIGH-PERFORMANCE EMBEDDED SYSTEMS SCALABLE COMPUTING-PRACTICE AND EXPERIENCE, 2009, 10 (02): : 147 - 162
- [42] A Model-Driven Engineering Framework for Fault Tolerance in Dependable Embedded Systems Design 2012 38TH EUROMICRO CONFERENCE ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS (SEAA), 2012, : 166 - 169
- [43] Domain Specific Views in Model-driven Embedded Systems Design in Industrial Automation 2009 7TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS, VOLS 1 AND 2, 2009, : 702 - +
- [45] A Model-Driven Framework for the Development of Portable Real-time Embedded Systems 2011 16TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS), 2011, : 45 - 54
- [46] Model-Driven Design-Space Exploration for Embedded Systems: The Octopus Toolset LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION, AND VALIDATION, PT I, 2010, 6415 : 90 - 105
- [47] Model-Driven Development of Industrial Embedded Systems : Challenges Faced and Lessons Learnt 2012 IEEE 17TH CONFERENCE ON EMERGING TECHNOLOGIES & FACTORY AUTOMATION (ETFA), 2012,
- [48] Me3D: A Model-driven Methodology Expediting Embedded Device Driver Development 2011 22ND IEEE INTERNATIONAL SYMPOSIUM ON RAPID SYSTEM PROTOTYPING (RSP), 2011, : 171 - 177
- [49] Model-driven Testing Approach for Embedded Systems Specifics Verification based on UML Model Transformation MODEL-DRIVEN ARCHITECTURE AND MODEL-DRIVEN SOFTWARE DEVELOPMENT, 2011, : 26 - 35