Browse by Person (creator, editor, contributor, etc.)

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
Number of items: 3.

Article

Johnson, C.W. and Telford, A.J. (1996) Extending the Application of formal methods to analyse human error and system failure during accident investigations. Software Engineering Journal, 11 (6). pp. 355-365. ISSN 0268-6961. (The full text of this publication is not available from this repository)

Monograph

Telford, A.J. and Johnson, C.W. (1996) Cross-viewpoint Consistency in Accident Investigations. Technical report. Department of Computer Science, University of Glasgow, Glasgow (Full text available)
[img]
Preview
[img]
Preview

Conference or workshop item

Telford, A.J. and Turner, D.A. (1999) Ensuring Termination in ESFP. In: 15th British Colloquium in Theoretical Computer Science, April 1999, Keele, England. (The full text of this publication is not available from this repository)

This list was generated on Fri Apr 18 19:23:44 2014 BST.