Formal Analysis of a Real-Time Kernel Specification
S. Fowler and A.J. Wellings
No Abstract Available
Download Not Available
BibTex Entry
@inproceedings{Fowler1996,
abstract = {},
author = {S. Fowler and A.J. Wellings},
booktitle = {4th International Symposium on Formal Techniques for Fault Tolerant Real-Time Systems, Lecture Notes in Computer Science, Uppsala, Sweden},
editor = {B. Jonsson and J. Parrow},
pages = {440-458},
title = {Formal Analysis of a Real-Time Kernel Specification},
year = {1996}
}