: Computer program verification. (Author);
机译:在Oracle 12C中使用有效时间时间维和查询来检查和验证时间数据有效性
机译:基于时间约束一致性调整的提高科学工作流时间验证效率的新策略
机译:基于时间依赖的检查点选择,用于科学验证工作流系统中的时间约束
机译:验证和验证时间知识是实施支持组织创造力的时间知识库系统的重要方面
机译:验证无功系统和时间逻辑中的决策问题。
机译:前颞叶切除术会损害右上颞沟的身体情绪的神经分类并在不影响行为分类的情况下降低大脑分布区域的情绪增强
机译:在没有时间逻辑的情况下验证时间属性
机译:不使用时态逻辑验证时态属性