A survey of logic formalisms to support mishap analysis

Johnson, C. and Holloway, C. (2003) A survey of logic formalisms to support mishap analysis. Reliability Engineering and System Safety, 80, pp. 271-291. (doi:10.1016/S0951-8320(03)00053-X)

Full text not currently available from Enlighten.


Item Type:Articles
Status:Published
Refereed:Yes
Glasgow Author(s) Enlighten ID:Johnson, Professor Chris
Authors: Johnson, C., and Holloway, C.
College/School:College of Science and Engineering > School of Computing Science
Journal Name:Reliability Engineering and System Safety

University Staff: Request a correction | Enlighten Editors: Update this record