Discrete-event system; Reconfiguration; R-TNCES; Computation tree logic; CTL; Automatic generation; Formal verification; Model-checking;
机译:分布式可重新配置B方法,用于基于B的分布式可重新配置控制系统的规范和验证:
机译:基于低复杂度最大似然的STBC-MIMO系统自动调制分类的有效方法
机译:使用改进的基于网络重写系统的方法对可重构制造系统的Petri网控制器进行自动重构
机译:自动属性分类方法,用于指导复杂可重新配置系统的验证
机译:自动生成通用事件序列图,以指导基于仿真的复杂系统的动态概率风险评估。
机译:当归补血汤(黄芪和当归汤)的制剂和功效的验证:揭示中草药配方复杂性的示例性系统方法
机译:自动属性分类方法,用于指导复杂可重新配置系统的验证