共 50 条
- [1] A CS/SE approach to a real-time embedded systems software development course [J]. PROCEEDINGS OF THE THIRTY-SECOND SIGCSE TECHNICAL SYMPOSIUM ON COMPUTER SCIENCE EDUCATION, 2001, 33 (01): : 278 - 281
- [2] PORTING EMBEDDED REAL-TIME ADA SOFTWARE [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1992, 603 : 92 - 103
- [3] Concurrent embedded real-time software verification [J]. 24TH ANNUAL INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COSPSAC 2000), 2000, 24 : 516 - 521
- [4] Timed multitasking for real-time embedded software [J]. IEEE CONTROL SYSTEMS MAGAZINE, 2003, 23 (01): : 65 - 75
- [5] Assured reconfiguration of embedded real-time software [J]. 2004 INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS, PROCEEDINGS, 2004, : 367 - 376
- [6] A course in real-time software principles (with practice) [J]. REAL-TIME SYSTEMS EDUCATION, 1996, : 3 - 5
- [7] A software architecture for real-time, embedded monitoring systems [J]. AVSS 2005: Advanced Video and Signal Based Surveillance, Proceedings, 2005, : 540 - 545
- [8] Towards composable distributed real-time and embedded software [J]. EIGHTH IEEE INTERNATIONAL WORKSHOP ON OBJECT-ORIENTED REAL-TIME DEPENDABLE SYSTEMS, PROCEEDINGS, 2003, : 226 - 233
- [10] A SYMBOLIC DEBUGGER FOR REAL-TIME EMBEDDED ADA SOFTWARE [J]. SOFTWARE-PRACTICE & EXPERIENCE, 1990, 20 (05): : 499 - 514