The use of formal methods for safety-critical systems

Trafford, Paul Joseph (1997) The use of formal methods for safety-critical systems. (PhD thesis), Kingston University.

Full text not available from this archive.
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
URI: http://eprints.kingston.ac.uk/id/eprint/20609

Actions (Repository Editors)

Item Control Page Item Control Page