Correctness of a Fault-Tolerant Real-Time Scheduler and its Hardware Implementation.

Eyad Alkassar, Peter Bhm, Steffen Knapp

Browse the full MEMOCODE paper archive.