因子网络模型相关硕士博士期刊学术论文

形式化方法中的B方法与B语言在工业领域获得了广泛的应用，将其用于因子网络模型构建中，可以有效提高模型的正确性。基于此，笔者从形式......