%0 Thesis %1 phd/ethos/Chan09b %A Chan, Kenneth H. W. %D 2009 %K dblp %T The application of formal methods in safety analysis for safety critical software systems.

@phdthesis{phd/ethos/Chan09b, added-at = {2022-04-05T00:00:00.000+0200}, author = {Chan, Kenneth H. W.}, biburl = {https://www.bibsonomy.org/bibtex/299f9d90b2f5e07587487e68f41a836cb/dblp}, ee = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.411289}, interhash = {aff9b243b88e06e36a1d6a21592a0b28}, intrahash = {99f9d90b2f5e07587487e68f41a836cb}, keywords = {dblp}, note = {British Library, EThOS}, school = {Teesside University, Middlesbrough, Darlington, UK}, timestamp = {2024-04-09T08:48:30.000+0200}, title = {The application of formal methods in safety analysis for safety critical software systems.}, year = 2009 }