一种嵌入式软件可信属性建模与验证方法

被引：0

专利类型：

发明

申请号：

CN201310459533.1

申请日：

2013-09-30

公开(公告)号：

CN103488568B

公开(公告)日：

2014-01-01

发明(设计)人：

庄毅倪思如顾晶晶霍瑛许海洋

申请人：

申请人地址：

210016 江苏省南京市白下区御道街29号

IPC主分类号：

G06F1136

IPC分类号：

代理机构：

南京理工大学专利中心 32203

代理人：

马鲁晋;朱显国

法律状态：

授权

国省代码：

引用

下载

收藏

法律状态

法律状态公告日	法律状态	法律状态信息
2016-03-02	授权	授权
2014-02-05	实质审查的生效	实质审查的生效号牌文件类型代码:1604 号牌文件序号:101567135572 IPC(主分类):G06F 11/36 专利申请号:2013104595331 申请日:20130930
2014-01-01	公开	公开
2020-07-31	专利实施许可合同备案的生效、变更及注销	专利实施许可合同备案的生效 IPC(主分类):G06F 11/36 合同备案号:X2020980003882 让与人:南京航空航天大学受让人:中国船舶重工集团公司第七一六研究所发明名称:一种嵌入式软件可信属性建模与验证方法申请日:20130930 申请公布日:20140101 授权公告日:20160302 许可种类:普通许可备案日期:20200708

共 50 条

[1]

一种嵌入式软件可信属性建模与验证方法 [P].

邵瑛 .

中国专利 :CN107908557B ,2018-04-13

[2]

一种嵌入式软件建模方法及装置 [P].

张晨东 ;

张天擎 .

中国专利 :CN113127155A ,2021-07-16

[3]

一种嵌入式软件自闭环验证方法 [P].

姚康生 ;

王凡 ;

熊攀 ;

付洪飞 ;

石林 ;

罗云 ;

杨龙军 ;

马威 ;

余友好 ;

张红余 ;

章祎 ;

童琴 .

中国专利 :CN110427291A ,2019-11-08

[4]

一种嵌入式软件可信性保障方法 [P].

杨孟飞 ;

顾斌 ;

陈睿 ;

郭向英 ;

赵雷 ;

董晓刚 ;

綦艳霞 ;

王政 ;

陈尧 ;

乔磊 ;

沈沛 ;

郝伟 .

中国专利 :CN103677849B ,2014-03-26

[5]

嵌入式软件系统的成分验证 [P].

A·弗莱克赛德尔 ;

B·施密特 ;

J·邝特 ;

M·施伦德 .

中国专利 :CN115687071A ,2023-02-03

[6]

嵌入式设备、嵌入式软件加载方法与存储介质 [P].

胡俊锋 .

中国专利 :CN113885969A ,2022-01-04

[7]

一种嵌入式系统和嵌入式软件升级方法 [P].

何银南 ;

刘红冰 ;

蔡章盛 ;

邱扬英 ;

周晓俊 ;

管伟 .

中国专利 :CN102043634A ,2011-05-04

[8]

嵌入式软件交互方法 [P].

邵腾飞 ;

施彬彬 ;

周雄 ;

黄浩 ;

刘念 .

中国专利 :CN108932171B ,2018-12-04

[9]

嵌入式软件升级方法 [P].

毛力 .

中国专利 :CN104156249A ,2014-11-19

[10]

嵌入式软件执行方法 [P].

陈志伟 ;

卢晓芬 .

中国专利 :CN101739268A ,2010-06-16

← 1 2 3 4 5 →