退出
我的积分:
中文文献批量获取
外文文献批量获取
ZHANG Li; 张莉; LI Li; 李莉; SHEN Su-bin; 沈苏彬;
中国计算机学会;
嵌入式设备驱动; 程序设计; 系统建模; 功能优化;
机译:使用形式化模型的嵌入式系统验证一种基于UML和Maude语言结合使用的方法
机译:嵌入式系统设计使用正式模型精制:一种基于联合使用UML和B语言的方法
机译:嵌入式系统的形式验证和确认:基于UML的MADES方法
机译:Me3D:一种模型驱动的方法,可加快嵌入式设备驱动程序的开发
机译:一种基于优化的方法,可实现经济高效的嵌入式DSP系统设计。
机译:一种基于UMLS的方法用于将信息数据库集成到Intranet中。
机译:在嵌入式系统中合成基于操作系统的设备驱动程序
机译:基于模型的嵌入式系统软件工程图和语言:UmL和aaDL。
机译:网络系统设备驱动器实现方法,计算机设备驱动器实现方法,设备驱动器实现系统和计算机
机译:一种计算机实现的方法,一种计算机程序产品以及一种嵌入式系统,用于通过嵌入式系统上的客户端来提高数据检索的速度
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。