机译:基于时间间隔的时间功能依赖性:规范和验证
Department of Computer Science, University of Verona, Verona, Italy;
Department of Computer Science, University of Verona, Verona, Italy,Department of Public Health and Community Medicine, University of Verona, Verona, Italy;
Temporal functional dependencies; Temporal databases; Interval-based functional dependencies; Compass structures; B-trees; Allen's relations;
机译:基于间隔的规范语言的验证系统
机译:挖掘基于时间间隔的近似时间依赖性
机译:基于时间依赖的检查点选择,用于科学验证工作流系统中的时间约束
机译:迈向功能和时间特性的综合规范和分析:第一部分:功能方面的验证
机译:使用算法和数据依赖性验证业务流程规范。
机译:并非所有H3K4甲基化都相等:原始生殖细胞规格中的Mll2 / COMPASS依赖性
机译:基于间隔的规范语言的验证系统