退出
我的积分:
中文文献批量获取
外文文献批量获取
郭建; 丁继政; 朱晓冉;
华东师范大学软件工程学院 上海200062;
软硬件协同设计技术与应用教育部工程研究中心(华东师范大学) 上海200062;
上海市高可信计算重点实验室(华东师范大学) 上海200062;
实时操作系统; VCC; 混合程序验证; 自动验证; Z3求解器;
机译:基于位掩码的代码压缩方法,用于平衡硬实时嵌入式系统的功耗和代码大小
机译:分层嵌入式C代码的自动化测试实验
机译:嵌入式实时软件的平台相关代码生成
机译:基于嵌入式CPU的实时操作系统内核设计有限资源的实时操作系统内核
机译:实时嵌入式系统的需求验证框架。
机译:自动化膜片钳平台上安全药理学的混合模型:使用动态钳子连接iPSC衍生的心肌细胞和Ik1离子通道的实时模拟
机译:嵌入式硬实时应用程序的硬件支持操作系统内核
机译:InCo:实时嵌入式系统的交互式代码签名框架
机译:嵌入式操作系统内核中增强实时响应的方法
机译:实时通信保护方法,例如自动化系统,涉及在离散设备中生成和管理代码,以保护通过保护参考模型连接层中的单元而发生的实时通信
机译:用于工业自动化中的实时嵌入式解决方案优化运行的系统和方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。