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