© University of Kent - Contact | Feedback | Legal | FOI | Cookies
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},
}