formal specification; CSP; stochastic petri nets; reliability analysis; markov models;
机译:从CSP规范生成Petri网:一种基于语义的方法
机译:基于故障树分析和模糊推理Petri网的太阳能电池阵列可靠性分析方法
机译:使用Petri网和模糊Lambda-Tau方法进行可修复系统的可靠性分析
机译:CSP规格的可靠性分析:一种使用Petri网的新方法
机译:使用轮廓/过渡网(PETRI网,规范,验证)对并发系统进行建模和分析
机译:标准化的植物分析风险人类可靠性分析(SPAR-H)与认知可靠性误差分析方法(CREAM)在护理实践中量化人为误差的比较
机译:Csp规范的可靠性分析:一种使用Petri网的新方法
机译:使用多维数据集工具方法的petri网需求规范。