%0 Thesis %1 phd/ethos/Fowler98 %A Fowler, Simon %D 1998 %K %T A development method for trusted real-time kernels.

@phdthesis{phd/ethos/Fowler98, added-at = {2023-12-12T21:17:09.000+0100}, author = {Fowler, Simon}, biburl = {https://www.bibsonomy.org/bibtex/277fb2ae7a6ff20867e1e7e7b4aa63f53/admin}, ee = {http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.298326}, interhash = {3bdee92948269beaeebc358e15d58c47}, intrahash = {77fb2ae7a6ff20867e1e7e7b4aa63f53}, keywords = {}, note = {British Library, EThOS}, school = {University of York, UK}, timestamp = {2023-12-12T21:17:09.000+0100}, title = {A development method for trusted real-time kernels.}, year = 1998 }