Formal development of a real-time kernel

Simon Fowler, Andy J. Wellings. Formal development of a real-time kernel. In Proceedings of the 18th IEEE Real-Time Systems Symposium (RTSS 97), December 3-5, 1997, San Francisco, CA, USA. pages 220-229, IEEE Computer Society, 1997. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.