共 50 条
- [41] Checkpointing for the reliability of real-time systems with on-line fault detection EMBEDDED AND UBIQUITOUS COMPUTING - EUC 2005, 2005, 3824 : 194 - 202
- [42] Developing component-based software for real-time systems PROCEEDINGS OF THE 27TH EUROMICRO CONFERENCE - 2001: A NET ODYSSEY, 2001, : 80 - 87
- [43] A software framework based on real-time CORBA for telerobotic systems 2002 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS, VOLS 1-3, PROCEEDINGS, 2002, : 3011 - 3017
- [45] A formal software synthesis approach for embedded hard real-time systems SBCCI2004:17TH SYMPOSIUM ON INTEGRATED CIRCUITS AND SYSTEMS DESIGN, PROCEEDINGS, 2004, : 163 - 168
- [46] Real-time and fault tolerance in distributed control software COMMUNICATING PROCESS ARCHITECTURES 2003, 2003, 61 : 235 - 250
- [49] Underlying the performance of real-time software-based pipeline leak-detection systems Pipes and Pipelines International, 1999, 44 (06): : 44 - 51
- [50] Building safety-critical real-time systems with synchronous software components REAL TIME PROGRAMMING 1999 (WRTP'99), 1999, : 63 - 68