复杂系统与智能计算实验室
首页|实验室简介|组织机构|研究中心|科学研究|开放基金|人才培养|规章制度|下载中心
最新动态
· 2016年广西高校复杂系统与智能...
· SCI期刊论文代表作(2016)
· 实验室成员周永权教授获2016年...
· 祝贺实验室黄华娟博士获2016年...
· 孪生支持向量机理论算法及其应...
· 2015届硕士研究生
· 实验室成员获国家发明专利授权
· 关于申报2016年度广西高校复杂...
· 广西高校复杂系统与智能计算重...
· Workshop on Intelligent Compu...
科研项目
 当前位置  首页  科学研究  科研项目  正文


半代数混杂系统形式化分析与验证的例证法研究
2014-12-04 21:24   审核人:

项目名称

来源

负责人

经费

(万元)

起止时间

半代数混杂系统形式化分析与验证的例证法研究

国家自然科学基金

吴尽昭

36

2015-2018

关闭窗口

Copyright(c) 2014  www.365355.com  版权所有  [管理员登陆]
All Right Reserved  未经允许不得转载

地址:广西南宁市大学路188号  邮编:530006