Login / Signup

CoRSA - A Constraint Based Approach to Requirements and Safety Analysis.

Kevin HollingworthAmer Saeed
Published in: SAFECOMP (1998)
Keyphrases
  • safety analysis
  • safety critical
  • nuclear power plant
  • control system
  • symbolic model checking
  • fault model
  • reliability analysis
  • knowledge base
  • multi agent