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

Qi Shao Shunkun Yang Chong Bian Xiaodong 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