形式化B方法

免疫系统的计算机模型及应用 本文是一篇计算机硕士毕业论文，主要提出对UML模型图进行B方法的转换方法，用B形式化的方法对免疫模型进行描述，进而将UML特定模型图转换为相应的B机器模型，确保系统的精确性和

2014-04-16