共 50 条
- [1] Dependability issues for a curriculum in real-time systems REAL-TIME SYSTEMS EDUCATION III, PROCEEDINGS, 1999, : 16 - 23
- [3] A multidisciplinary real-time embedded-systems curriculum IEEE Distributed Systems Online, 2002, 3 (05):
- [4] A Model for Industrial Real-Time Systems VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION (VMCAI 2015), 2015, 8931 : 153 - 171
- [6] Model synthesis for real-time systems NINTH EUROPEAN CONFERENCE ON SOFTWARE MAINTENANCE AND REENGINEERING, PROCEEDINGS, 2005, : 52 - 60
- [7] Training engineers in real-time systems design: an integrated curriculum REAL-TIME SYSTEMS EDUCATION III, PROCEEDINGS, 1999, : 8 - 15
- [9] Teaching device drivers technology in a real-time systems curriculum REAL-TIME SYSTEMS EDUCATION III, PROCEEDINGS, 1999, : 42 - 48