A Formal Model of a Run-Time Kernel for Ravenscar

Kristina Lundqvist, Lars Asplund. A Formal Model of a Run-Time Kernel for Ravenscar. In 6th International Workshop on Real-Time Computing and Applications Symposium (RTCSA 99), 13-16 December 1999, Hong Kong, China. pages 504, IEEE Computer Society, 1999. [doi]

Authors

Kristina Lundqvist

This author has not been identified. Look up 'Kristina Lundqvist' in Google

Lars Asplund

This author has not been identified. Look up 'Lars Asplund' in Google