|
Journals in DBLP
- Saurav Chatterjee, Jay K. Strosnider
Quantitative Analysis of Hardware Support for Real-Time Operating Systems. [Citation Graph (0, 0)][DBLP] Real-Time Systems, 1996, v:10, n:2, pp:123-142 [Journal]
- James Armstrong, Leonor Barroca
Specification and Verification of Reactive System Behaviour: The Railroad Crossing Example. [Citation Graph (0, 0)][DBLP] Real-Time Systems, 1996, v:10, n:2, pp:143-178 [Journal]
- Marco Spuri, Giorgio C. Buttazzo
Scheduling Aperiodic Tasks in Dynamic Priority Systems. [Citation Graph (0, 0)][DBLP] Real-Time Systems, 1996, v:10, n:2, pp:179-210 [Journal]
|