退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:使用构建集成的静态检查来保留正确性不变式
Hao Chen;
机译:OntCheck:一种基于本体的静态正确性检查工具,用于基于组件的模型
机译:OntCheck:用于基于组件的模型的本体驱动的静态正确性检查工具
机译:通过变异,动态分析和静态检查推断循环不变性
机译:用于模型检查,检查先验数据冲突和贝叶斯推断的不变过程。
机译:正确的调Q红宝石激光器校准程序并检查治疗照射图案
机译:使用构建集成静态检查来保留不正确的不变量
机译:salsa:将约束求解器与BDD结合用于自动不变检查
机译:使用级联的纠错电路检查和纠正从静态电子存储器中读取的数据,如果未检测到错误或已纠正错误,则该短路或阻止随后的纠错
机译:用于系统静态信息的相关检查/校正设备
机译:检查正确答案的贴纸和学习册,包括检查正确答案的贴纸
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。