A survey of logic formalisms to support mishap analysis
Authors: Johnson, C.; Holloway, C.M.
Source: Reliability Engineering and System Safety, Volume 80, Number 3, June 2003 , pp. 271-291(21)
Document Type: Research Article
Affiliations: Department of Computing Science, University of Glasgow, G12 8QQ, Scotland, Glasgow, UK
Publication date: June 2003