共 50 条
- [21] Assessing and improving testing of real-time software using simulation 36TH ANNUAL SIMULATION SYMPOSIUM, PROCEEDINGS, 2003, : 266 - 272
- [22] Testing embedded real-time systems SEVENTH INTERNATIONAL CONFERENCE ON REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS, PROCEEDINGS, 2000, : 417 - 424
- [23] A formal software synthesis approach for embedded hard real-time systems SBCCI2004:17TH SYMPOSIUM ON INTEGRATED CIRCUITS AND SYSTEMS DESIGN, PROCEEDINGS, 2004, : 163 - 168
- [24] Power system analysis - Software approach and real-time simulation 2002 IEEE POWER ENGINEERING SOCIETY WINTER MEETING, VOLS 1 AND 2, CONFERENCE PROCEEDINGS, 2002, : 1011 - 1016
- [25] A modeling methodology and pre-run-time scheduling for embedded real-time software 15TH SYMPOSIUM ON COMPUTER ARCHITECTURE AND HIGH PERFORMANCE COMPUTING, PROCEEDINGS, 2003, : 72 - 79
- [29] Timed multitasking for real-time embedded software IEEE CONTROL SYSTEMS MAGAZINE, 2003, 23 (01): : 65 - 75
- [30] Concurrent embedded real-time software verification 24TH ANNUAL INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COSPSAC 2000), 2000, 24 : 516 - 521