Improvements; Regular; Inference;
机译:一些HDLSS基因组模型的基于熵的约束推理:Chen-Stein观点的UI测试
机译:软件和硬件数据安全工具的最佳和完整测试算法
机译:安全状态UML:使用UML状态机对软件系统的安全问题进行建模和测试
机译:对软件模型的常规推理的算法改进和安全测试的观点
机译:设计临床试验的开发结构:测试,学习和推理算法
机译:增加可用性算法改进和数据挖掘的结合用于使用重型软件包的蛋白质结构计算
机译:常规模型检查中的算法改进