退出
我的积分:
中文文献批量获取
外文文献批量获取
高赛军; 代晓倩;
上海航天电子技术研究所;
上海201109;
嵌入式软件; 数学模型验证; 函数调用选择法;
机译:基于现场开发的统计分析,对物理数学模型的有效性及其PAN软件实现的后验验证及其PAN软件实现
机译:基于Z和MARTE的嵌入式软件安全建模与验证方法
机译:嵌入式电源管理系统中的软件便携性和验证的基于模型的框架
机译:基于SysML的嵌入式软件系统建模与验证方法研究
机译:开发和验证数学模型,以研究在差分全球定位系统地面参考站点处基于地球表面的多径反射的影响。
机译:用软件工程技术对数学模型的再现性问题:使用房地产节点一维数学模型的案例研究
机译:嵌入式实时软件的集成MARTE和基于组件的方法学组件模型的元模型验证
机译:嵌入式知识型软件系统的验证与验证
机译:运行嵌入式软件的设备以及用于验证嵌入式软件许可证的方法
机译:使用嵌入式软件运行的设备和验证嵌入式软件许可的方法
机译:用于嵌入式控制器网络的数据传输方法,例如适用于机载或地面车辆,从而无需物理或基于软件的身份验证即可直接在多通道节点之间传输数据
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。