PhD thesis,

A development method for trusted real-time kernels.

.
University of York, UK, (1998)British Library, EThOS.

Meta data

Tags

Users

  • @dblp

Comments and Reviews