退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:通过组合BISIMULATION来组合验证并发系统
Frédéric Lang; Radu Mateescu; Franco Mazzanti;
机译:CSIM〜2:使用依赖保证的并发系统的组成自验证
机译:使用CADP的异步并发系统的组成验证
机译:使用基于公式的组合方法自动验证并发系统
机译:结合双仿真的并发系统组成验证
机译:用于验证并发数据结构的组成抽象
机译:诱导化疗联合同期放化疗与单纯同期放化疗在鼻咽癌患者中的疗效和安全性:系统评价和荟萃分析
机译:关于使用时态逻辑对并发系统进行细化和组成验证
机译:寻求组合性:对基于断言的并发程序证明系统的调查。第1部分。基于共享变量的并发性
机译:用于使用唯一的数据组标识符双向分发要压缩,同时扩展和合并的同时压缩的分割数据组的系统
机译:用于减少使用相互原子事务的并发程序的验证条件的方法和系统
机译:使用基于SMT的BMC对并发系统进行建模和验证
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。