论文部分内容阅读
Hazard prevention in mission plans requires careful analysis and appropriate tools to support the design of preventive and/or corrective measures.It is most challenging in systems with large sets of states and complex state relations.In the case of sociot