University of Toronto (Canada).;
Atomicity; Consistency; Data corruption; Integrity checking; Operating systems; Storage systems;
机译:根据MASTRV检查数据,提前能源法合规 - 检查防止讨厌的惊喜
机译:DITTO:数据结构不变检查的自动增量(Java)
机译:数据显示常规处方检查如何保护患者免受伤害
机译:不变的检查程序:有效的低成本技术,用于运行时瞬态误差检测
机译:用于模型检查,检查先验数据冲突和贝叶斯推断的不变过程。
机译:保护和服务?关于警察有关的死亡的新数据揭示了持续的美国困境
机译:基于分层分布式运行时不变检验的无线传感器网络自适应正确性监测