机译:并发检查逻辑[审查“并发检查的新方法(Goessel,M。等,2008)”
机译:基于BERGER的代码,在并发检查下检测组合设备中逻辑元素故障的条件
机译:fastAN(BD)-一种对AN(BD)编码数据进行完整性检查和解码的快速方法
机译:基于权重为“ 1-of-of-3”的全自检并发错误检测系统的组织方法
机译:通过混合和分布式分析提高并发Java代码的定向模型检查的可伸缩性。
机译:通过比较QR码检查基因型一致性的SNP面板和在线工具
机译:基于恒重码“1-OUT-4”的布尔补充方法,用于形成完全自检并发错误检测系统。