Trafford, Paul Joseph (1997) The use of formal methods for safety-critical systems. (PhD thesis), Kingston University.Full text not available from this archive.
Official URL: http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos...
|Item Type:||Thesis (PhD)|
|Additional Information:||This work was supported by the Engineering and Physical Sciences Research Council.|
|Physical Location:||This item is held in stock at Kingston University Library.|
|Research Area:||Computer science and informatics|
|Depositing User:||Automatic Import Agent|
|Date Deposited:||09 Sep 2011 21:39|
|Last Modified:||23 May 2014 13:26|
Actions (Repository Editors)
|Item Control Page|