Extending the Application of formal methods to analyse human error and system failure during accident investigations

Johnson, Christopher W. and Telford, Alastair 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)

The full text of this publication is not available from this repository. (Contact us about this Publication)
Item Type: Article
Uncontrolled keywords: Accident analysis, formal methods, temporal logic of actions
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions: Faculties > Science Technology and Medical Studies > School of Computing > Theoretical Computing Group
Depositing User: Mark Wheadon
Date Deposited: 25 Aug 2009 20:05
Last Modified: 27 May 2014 11:15
Resource URI: http://kar.kent.ac.uk/id/eprint/21321 (The current URI for this page, for reference purposes)
  • Depositors only (login required):