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

@phdthesis{phd/ethos/Fowler98, added-at = {2022-04-05T00:00:00.000+0200}, author = {Fowler, Simon}, biburl = {https://www.bibsonomy.org/bibtex/277fb2ae7a6ff20867e1e7e7b4aa63f53/dblp}, ee = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.298326}, interhash = {3bdee92948269beaeebc358e15d58c47}, intrahash = {77fb2ae7a6ff20867e1e7e7b4aa63f53}, keywords = {dblp}, note = {British Library, EThOS}, school = {University of York, UK}, timestamp = {2024-04-09T09:00:30.000+0200}, title = {A development method for trusted real-time kernels.}, year = 1998 }