AI写作工具
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
杨立春;
浙江万里学院;
后PC; 嵌入式系统; UML; 软件工程;
机译:UML在实时嵌入式系统中的应用
机译:使用形式化模型的嵌入式系统验证一种基于UML和Maude语言结合使用的方法
机译:嵌入式系统设计使用正式模型精制:一种基于联合使用UML和B语言的方法
机译:一种基于模型的软件嵌入式系统在工业测量技术中的安全关键嵌入式系统 - UML框架用于建模安全关键软件
机译:用于自动验证UML设计模型的框架:应用于UML 2.0交互。
机译:一种用于廉价电感和电阻传感器应用的改进型阻抗-频率转换器
机译:应用于PWM逆变器的改进型重复控制器的比较分析应用于PWM逆变器的改进型重复控制器的比较分析
机译:基于模型的嵌入式系统软件工程图和语言:UmL和aaDL。
机译:将应用程序加载到具有数据处理资源的多应用程序嵌入式系统中的方法,相应的嵌入式系统和执行方法
机译:一种使用无损压缩算法和哈希函数读取和恢复安装在嵌入式系统中的嵌入式应用程序的损坏的设备
机译:研发ckpeter&auml中的ckkopplungkompensator; rkungssystem,h&all; rhilfsgerä t,研发程序; ckkopplungskompensensation和该程序的应用rhilfsgerä Ť
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。