法律状态公告日
法律状态信息
法律状态
2018-02-09
专利实施许可合同备案的注销 IPC(主分类):G06F 11/36 合同备案号:2016320000214 让与人:南京邮电大学 受让人:江苏南邮物联网科技园有限公司 解除日:20180116 申请日:20140429
专利实施许可合同备案的生效、变更及注销
2016-12-14
专利实施许可合同备案的生效 IPC(主分类):G06F 11/36 合同备案号:2016320000214 让与人:南京邮电大学 受让人:江苏南邮物联网科技园有限公司 发明名称:基于有界模型检验的无线传感网软件代码验证方法 申请公布日:20140806 授权公告日:20160817 许可种类:普通许可 备案日期:20161117 申请日:20140429
专利实施许可合同备案的生效、变更及注销
2016-12-14
专利实施许可合同备案的生效 IPC(主分类):G06F 11/36 合同备案号:2016320000214 让与人:南京邮电大学 受让人:江苏南邮物联网科技园有限公司 发明名称:基于有界模型检验的无线传感网软件代码验证方法 申请公布日:20140806 授权公告日:20160817 许可种类:普通许可 备案日期:20161117 申请日:20140429
专利实施许可合同备案的生效、变更及注销
2016-08-17
授权
授权
2016-08-17
授权
授权
2014-09-03
实质审查的生效 IPC(主分类):G06F 11/36 申请日:20140429
实质审查的生效
2014-09-03
实质审查的生效 IPC(主分类):G06F 11/36 申请日:20140429
实质审查的生效
2014-08-06
公开
公开
2014-08-06
公开
公开
查看全部
机译: 基于组件模型的虚拟软件平台的生成方法,使用该模型的软件平台体系结构的验证方法及其装置
机译: 基于组件模型的虚拟软件平台的生成方法,使用该模型的软件平台体系结构的验证方法及其装置
机译: 高效分布式SAT和基于SAT的分布式有界模型检验