退出
我的积分:
中文文献批量获取
外文文献批量获取
杨秋松; 李明树;
中国科学院;
软件研究所;
互联网软件技术实验室;
北京;
100190;
研究生院;
100049;
计算机科学国家重点实验室;
参数化系统; 安全性; 向上封闭集合; 启发式搜索; 符号验证;
机译:参数化元启发式的参数化共享内存方案
机译:在参数化元启发式算法之上优化共享内存超启发式算法
机译:通过术语级广义符号轨迹评估进行参数化硬件验证
机译:基于模型的网络物理系统安全性分析和验证。
机译:在基本数字理论中使用预订数量 - 从符号学和认知心理学的角度讨论有用启发式
机译:参数化系统安全性的启发式符号验证
机译:基于穷举状态空间探测算法的航空航天系统安全性能形式化验证
机译:交易和支付系统安全性远程验证/交易提供商的交易验证
机译:顺序重新参数化期间启发式保存关键输入的方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。