Safety Kernels: Specification and Implementation
A. Burns and A.J. Wellings
No Abstract Available
Download Not Available
BibTex Entry
@article{Burns1995b,
abstract = {},
author = {A. Burns and A.J. Wellings},
journal = {High Integrity Systems},
pages = {287-300},
title = {Safety Kernels: Specification and Implementation},
year = {1995}
}