...
机译:概率布尔网络建模与模型检查作为制造系统DFMEA的方法
Univ Vigo ETSET Campus Univ S-N Vigo 36310 Spain;
Polytech Univ Puerto Rico 377 Ponce Leon Ave Hato Rey PR 00918 USA;
Univ Vigo ETSET Campus Univ S-N Vigo 36310 Spain;
Design failure mode and effects analysis; Formal verification; Model checking; Probabilistic Boolean networks; Reliability; Risk assessment;
机译:概率布尔网络建模与模型检查作为制造系统DFMEA的方法(Vol 29,PG 1393,2018)
机译:使用模型检查和多项式优化的上下文敏感概率布尔网络的验证和最优控制
机译:利用干预措施建模预防性维护制造过程
机译:使用概率模型检查的带扰动的上下文敏感概率布尔网络的最优控制
机译:分布式概率系统的定量模型检查
机译:使用模型检查和多项式优化的上下文敏感概率布尔网络的验证和最优控制
机译:使用模型检查和多项式优化的上下文敏感概率布尔网络的验证和最优控制
机译:时间自动机无界完全符号模型检验的布尔方法