Simon Fowler. A development method for trusted real-time kernels. PhD thesis, University of York, UK, 1998. [doi]
@phdthesis{ethos-7348, title = {A development method for trusted real-time kernels}, author = {Simon Fowler}, year = {1998}, url = {http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.298326}, note = {British Library, EThOS}, researchr = {https://researchr.org/publication/ethos-7348}, cites = {0}, citedby = {0}, school = {University of York, UK}, }