共 50 条
- [41] System Level Modeling of Real-Time Embedded Software 2012 IEEE 30TH INTERNATIONAL CONFERENCE ON COMPUTER DESIGN (ICCD), 2012, : 496 - 497
- [42] Automatic synthesis and verification of real-time embedded software EMBEDDED AND UBIQUITOUS COMPUTING, PROCEEDINGS, 2004, 3207 : 12 - 21
- [43] Using GQM for testing design patterns in real-time and embedded systems on a software production line PROCEEDINGS OF THE 2009 SIXTH INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY: NEW GENERATIONS, VOLS 1-3, 2009, : 1397 - 1404
- [44] Model based testing of real-time embedded components 2006 IEEE-TTTC International Conference on Automation, Quality and Testing, Robotics, Vol 2, Proceedings, 2006, : 42 - 46
- [47] Software architecture synthesis for retargetable real-time embedded systems PROCEEDINGS OF THE FIFTH INTERNATIONAL WORKSHOP ON HARDWARE/SOFTWARE CODESIGN (CODES/CASHE '97), 1997, : 101 - 105
- [48] Reliable and Efficient Concurrent Synchronization for Embedded Real-Time Software SMC-IT 2009: THIRD IEEE INTERNATIONAL CONFERENCE ON SPACE MISSION CHALLENGES FOR INFORMATION TECHNOLOGY, PROCEEDINGS, 2009, : 323 - 330
- [50] Real-Time Embedded Software Design for Mobile and Ubiquitous Systems JOURNAL OF SIGNAL PROCESSING SYSTEMS FOR SIGNAL IMAGE AND VIDEO TECHNOLOGY, 2010, 59 (01): : 13 - 32