A formal deterministic scheduling model for hard real-time executings in DEDOS / by J. Verhoosel
A formal deterministic scheduling model for hard real-time executings in DEDOS