共 50 条
- [2] A Model-based Testing for AADL Model of Embedded Software [J]. 2009 NINTH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE (QSIC 2009), 2009, : 185 - +
- [3] A Model-Based Testing Tool for Embedded Software [J]. 2012 SIXTH INTERNATIONAL CONFERENCE ON GENETIC AND EVOLUTIONARY COMPUTING (ICGEC), 2012, : 180 - 183
- [4] Model-based engineering of embedded control software [J]. JOINT MEETING OF THE FOURTH WORKSHOP ON MODEL-BASED DEVELOPMENT OF COMPUTER-BASED SYSTEMS AND THIRD INTERNATIONAL WORKSHOP ON MODEL-BASED METHODOLOGIES FOR PERVASIVE AND EMBEDDED SOFTWARE, PROCEEDINGS, 2006, : 53 - 62
- [5] Model-based Methodologies for Pervasive and Embedded Software [J]. 2009 31ST INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, COMPANION VOLUME, 2009, : 443 - +
- [6] An Experimental Model-Based Rapid Prototyping Environment for High-Confidence Embedded Software [J]. RSP 2009: TWENTIETH IEEE/IFIP INTERNATIONAL SYMPOSIUM ON RAPID SYSTEM PROTOTYPING, PROCEEDINGS: SHORTENING THE PATH FROM SPECIFICATION TO PROTOTYPE, 2009, : 3 - 10
- [7] Model-based Development of embedded Vehicle Software at DaimlerChrysler [J]. COMPUTER SCIENCE-RESEARCH AND DEVELOPMENT, 2005, 20 (1-2): : 3 - 10