因子网络论文

形式化B方法验证技术研究及其应用
论文摘要形式化B方法建立在严格的数学基础上,通过严格的验证技术证明其正确性,尤其对大型复杂系统的描述是非常有用和正确的。它是一种详细规格说明、设计和系统编码的方法。通过B方法来...