Sign in

Formal Analysis of Repairable Phased-Mission Systems With Common Cause Failures.

Qi ShaoShunkun YangChong BianXiaodong Gou
Published in: IEEE Trans. Reliab. (2021)
Keyphrases
  • formal analysis
  • complex systems
  • formal methods
  • expert systems
  • management system
  • case study
  • multi agent systems
  • low cost
  • open source
  • human operators