Immune-B 相关硕士博士期刊学术论文

用B方法建立了T细胞因子网络的形式化模型,基于这个模型,能够使用VC程序工具验证从动物科学与医学院得来的实验数据是否正确,然后......