Travelled to:
1 × Sweden
Collaborated with:
A.Burns
Talks about:
preemption (1) implement (1) resourc (1) control (1) verifi (1) level (1) edf (1)
Person: Mark Louis Fairbairn
DBLP: Fairbairn:Mark_Louis
Contributed to:
Wrote 1 papers:
- AdaEurope-2012-FairbairnB #implementation #verification
- Implementing and Verifying EDF Preemption-Level Resource Control (MLF, AB), pp. 193–206.