Integrating knowledge-based and mathematical programming approaches for process safety verification

This publication has 5 references indexed in Scilit:

• Digraph-based models for automated HAZOP analysis
  Published by Elsevier ,2000
• A case study in hybrid process safety verification
  Computers & Chemical Engineering, 1996
• A semi-quantitative reasoning methodology for filtering and ranking HAZOP results in HAZOPExpert
  Reliability Engineering & System Safety, 1996
• Hazopexpert: An expert system for automating HAZOP analysis
  Process Safety Progress, 1996
• Modeling of combined discrete/continuous processes
  AIChE Journal, 1994