退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:将源代码验证应用于微内核
Michael Hohmuth; Hendrik Tews; Shane G. Stephens;
机译:用于模型验证,硬件/软件协同仿真,性能优化和可定制源代码生成的方法和工具集
机译:操作系统微内核的全面正式验证
机译:Microkernel Integrity语义模型与正式验证研究
机译:将源代码验证应用于Microkernel
机译:识别,应用和验证工业能效措施的改进方法。
机译:面向对象的技术验证第3阶段报告 - 源代码和对象代码级别的结构覆盖:最终的审计
机译:便携式微内核操作系统验证和测试
机译:由电子实体的微处理器执行程序的方法,包括验证位于作为参数传递的地址结构中存储的位置中的数据值,并在验证期间对否定结果事件采取对策
机译:验证例如在智能卡的电子EPROM中刻写的数字个性化数据的完整性的方法。付费电视,如果验证码的值与参考值不同,则涉及应用计数器测量程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。