科研证明
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:安全关键型嵌入式验证器的设计验证
Scientifica E Tecnologica; P. G. Bertoli; P. Traverso; Istituto Trentino Di Cultura; Piergiorgio Bertoli; Paolo Traverso;
机译:安全关键嵌入式系统的有效验证策略
机译:安全关键型嵌入式系统中基于组件的动态适应建模和验证
机译:用于安全关键型嵌入式系统的RTOS的验证和测试
机译:安全关键的嵌入式C代码的演绎功能验证:一份经验报告
机译:将运行时验证后部署嵌入到安全关键系统的实时健康管理中
机译:常规强度调制放射疗法验证的实用指南:门剂量法的治疗前验证和体内剂量法的治疗验证
机译:安全关键型嵌入式系统的有效验证策略
机译:用于复杂嵌入式系统设计验证的混合快速原型制作装置及使用该装置的快速验证方法
机译:验证模块设备的调试软件和嵌入式处理器设计的时序超过单个FPGA的容量
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。