A Formal Model of a Run-Time Kernel for Ravenscar.

Kristina Lundqvist, Lars Asplund

Browse the full RTCSA paper archive.