School of Computing

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

C.W. Johnson and A.J. Telford

Software Engineering Journal, 11(6):182-196, November 1996.

Bibtex Record

@article{501,
author = {C.W. Johnson and A.J. Telford},
title = {Extending the Application of formal methods to analyse human error and system failure during accident investigations},
month = {November},
year = {1996},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1996/501},
    ISSN = {0268-6961},
    journal = {Software Engineering Journal},
    number = {6},
    publisher = {IEE/BCS},
    volume = {11},
}

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 21/03/2014