biomathematics algorithmic algebra model checking;
机译:智能破译难以理解的设计:系统生物学中的算法代数模型检查
机译:计算机辅助设计的智能方法和实时航天器控制算法的检验
机译:模型检查智能航空电子系统,用于使用多功能机构生成测试用例
机译:算法代数模型检查II:半代数模型检查的可确定性及其在系统生物学中的应用
机译:算法代数模型检查:混合自动机和系统生物学。
机译:支持SVM的智能遗传算法模型可通过超声传感系统在乳腺囊肿图像中实现高效的通用特征选择
机译:智能破译难以理解的设计:系统生物学中的算法代数模型检查