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]
@inproceedings{LundqvistA99,
title = {A Formal Model of a Run-Time Kernel for Ravenscar},
author = {Kristina Lundqvist and Lars Asplund},
year = {1999},
url = {http://csdl.computer.org/comp/proceedings/rtcsa/1999/0306/00/03060504abs.htm},
researchr = {https://researchr.org/publication/LundqvistA99},
cites = {0},
citedby = {0},
pages = {504},
booktitle = {6th International Workshop on Real-Time Computing and Applications Symposium (RTCSA 99), 13-16 December 1999, Hong Kong, China},
publisher = {IEEE Computer Society},
isbn = {0-7695-0306-3},
}