退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:使用过程语义进行有界可达性检查
Keijo Heljanko;
机译:利用步骤语义来有效地检查异步系统的有界模型
机译:边界检查过程中线性混合自动机的无穷可达性证明
机译:基于阈值的分布式算法的有界模型检查的完整性:可达性
机译:符号模型检查中的高效可达性算法。
机译:利用UMLS语义检查UMLS概念中的语义一致性
机译:基于阈值的分布式算法的边界模型检查的完整性:可达性
机译:使用有限完整前缀进行死锁和可达性检查
机译:多媒体数据音频数据,处理系统,提供服务以在检测到的过程中提供检查标记以及用户模式处理部分,其中检查标记重定向到达数据接收器之前透明处理的数据
机译:以电子设备描述语言测试设备的机器可读描述的方法,涉及通过组件自动检查语法和/或语义错误,以基于知识进行知识处理
机译:具有阵列访问范围检查的处理器
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。