退出
我的积分:
中文文献批量获取
外文文献批量获取
公开/公告号CN108563439A
专利类型发明专利
公开/公告日2018-09-21
原文格式PDF
申请/专利权人 南京航空航天大学;
申请/专利号CN201810392370.2
发明设计人 沈国华;葛晓瑜;章文炳;宛伟健;邓刘梦;黄志球;杜天保;吴德香;
申请日2018-04-27
分类号G06F8/35(20180101);
代理机构32231 常州佰业腾飞专利代理事务所(普通合伙);
代理人张福敏
地址 211106 江苏省南京市江宁区南京航空航天大学将军路校区计算机科学与技术学院
入库时间 2023-06-19 06:38:41
法律状态公告日
法律状态信息
法律状态
2018-10-23
实质审查的生效 IPC(主分类):G06F8/35 申请日:20180427
实质审查的生效
2018-09-21
公开
机译: 基于图形模型中用户指定的元素生成中间表示,从而可以进行仿真,传播和代码生成
机译: 一种计算机密码的代码生成方法,包括调整编码算法以及生成器的操作和功能,基于另一个密码获取和编码密码,以便使用生成器获取代码
机译: 基于模型的嵌入式系统启动配置生成方法
机译:利用Ada 2012和SPARK 2014评估AADL模型生成的代码
机译:基于模板的AADL自动代码生成
机译:一种模型驱动的开发方法,使用AADL和代码生成开发模块化分布式电子旅行辅助设备
机译:针对嵌入式系统和机器人应用的基于模型的设计,仿真和自动代码生成。
机译:SOMM:一种基于代码移动性的通用无线多媒体传感器网络的面向服务的中间件
机译:使用AADL的ARINC653架构的基于模型的设计,自动代码生成和安全性分析
机译:基于模型的嵌入式系统软件工程图和语言:UmL和aaDL。