机译:用于抽象数据类型的交易正确性工具
Univ Cent Florida 4000 Cent Florida Blvd Orlando FL 32816 USA;
Univ Cent Florida 4000 Cent Florida Blvd Orlando FL 32816 USA;
Concurrency; correctness verification; transactional data structure;
机译:用于抽象数据类型的交易正确性工具
机译:使用集成工具解释血糖数据可提高1型和2型糖尿病患者血糖风险评估的正确性
机译:从形式代数规范验证抽象数据类型实现的创新教学工具
机译:从正式代数规格验证抽象数据类型实现的创新教学工具
机译:用于分布式数据库中事务并发控制的临时正确算法。
机译:使用集成工具解释血糖数据可提高1型和2型糖尿病患者血糖风险评估的正确性
机译:抽象数据类型的交易正确性工具