Formal Development of a Real-Time Kernel
S. Fowler and A.J. Wellings
No Abstract Available
Download Not Available
BibTex Entry
@inproceedings{Fowler1997,
abstract = {},
author = {S. Fowler and A.J. Wellings},
booktitle = {Proceedings of the 18th IEEE Real-Time Systems Symposium, San Francisco},
pages = {220-229},
title = {Formal Development of a Real-Time Kernel},
year = {1997}
}