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?did=390&uin=uk....
|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:||09 Jul 2012 08:25|
Actions (Repository Editors)
|Item Control Page|