A survey of logic formalisms to support mishap analysis.

Chris W. Johnson C. Michael Holloway

Published in: Reliab. Eng. Syst. Saf. (2003)

Keyphrases

data analysis
logic programming
search engine
image analysis
information systems
decision support
computational properties