Journals in DBLP
Alan Burns How to Verify a Safe Real-Time System: The Application of Model Checking and Timed Automata to the Production Cell Case Study. [Citation Graph (0, 0)][DBLP ] Real-Time Systems, 2003, v:24, n:2, pp:135-151 [Journal ] Ramesh Chandra , Xue Liu , Lui Sha On the Scheduling of Flexible and Reliable Real-Time Control Systems. [Citation Graph (0, 0)][DBLP ] Real-Time Systems, 2003, v:24, n:2, pp:153-169 [Journal ] Byung-Kyu Choi , Dong Xuan , Riccardo Bettati , Wei Zhao , Chengzhi Li Utilization-Based Admission Control for Scalable Real-Time Communication. [Citation Graph (0, 0)][DBLP ] Real-Time Systems, 2003, v:24, n:2, pp:171-202 [Journal ] Christof Fetzer , Flaviu Cristian Fail-Awareness: An Approach to Construct Fail-Safe Systems. [Citation Graph (0, 0)][DBLP ] Real-Time Systems, 2003, v:24, n:2, pp:203-238 [Journal ] Joël Goossens Scheduling of Offset Free Systems. [Citation Graph (0, 0)][DBLP ] Real-Time Systems, 2003, v:24, n:2, pp:239-258 [Journal ]