Login / Signup

HAZOP Analysis of Formal Models of Safety-Critical Interactive Systems.

Andrew Hussey
Published in: SAFECOMP (2000)
Keyphrases
  • interactive systems
  • formal models
  • safety critical
  • formal model
  • safety analysis
  • decision making
  • web services
  • case study
  • nuclear power plant