广西混杂计算与集成电路设计分析重点实验室

 首页  实验室概况  科学研究  学术委员会  科研平台  研发中心  人才培养 
站内搜索:
研究成果

 科研项目 
 研究成果 
 论文专著 
 学术交流 
 学术梯队 





研究成果

发表论著一览表
获奖项目
申请与授权发明专利

新闻动态

MACIS 2013 - Fifth International ...
第九届国际智能计算学术会议(ICIC20...
实验室成员参加自治区知识产权培训
实验室成员赴桂林参加中日信息科学...
意大利比萨大学法布里齐奥·卢西奥教...
实验室成员将赴桂林参加中日信息科...
2012年度实验室喜获3项广西自然科学...

研究成果
您的位置: 首页>>科学研究>>研究成果>>正文
申请与授权发明专利
2014-07-07   审核人:

名称

申请号

类别

第一发明人

时间

基于交互式马尔可夫链模型检测的嵌入式系统性能评价技术方案

200910059677.1

发明专利

吴尽昭

2009

基于交互式马尔科夫链的模型检测性能验证平台软件

2009SR024924

软件著作权

吴尽昭

2009

代数符号计算模型检测软件

2009SR024925

软件著作权

吴尽昭

2009

RGPS需求元模型正确性验证工具软件

2012SR039965

软件著作权

吴尽昭

2012

面向古壮文献处理的输入法软件

2011SR101670

软件著作权

池俊辉

2011

数字电路模型检测工具软件

2012SR039989

软件著作权

何安平

2012

可满足性模理论解决器工具

2013R11L136229

软件著作权

何安平

2013

R20关系数据库到本体知识库转换工具

2012SR040025

软件著作权

杨世瀚

2012

科技文献元数据本体构建工具

2013R11L136239

软件著作权

杨世瀚

2013

上一条:获奖项目
已是尾条

广西混杂计算与集成电路设计分析重点实验室  地址:广西南宁市大学东路188号
邮编:530006

[登录]