Login / Signup

An Asset-Based Development Approach for Availability and Safety Analysis on a Flood Alert System.

Fumio MachidaJianwen XiangKumiko TadanoShigeru Hosono
Published in: DSN Workshops (2015)
Keyphrases
  • safety analysis
  • safety critical
  • knowledge based systems
  • nuclear power plant
  • artificial intelligence
  • symbolic model checking
  • control system
  • software engineering