计算理论与先进计算技术研究室

科研项目

热点新闻

科研项目

当前位置: 首页 > 科研项目 > 科研项目 > 正文

国家自然科学基金联合基金

2018-03-18   作者:   点击:

 

 

 

国家自然科学基金联合基金(U1204608) “基于实时区间逻辑模型验证的入侵检测---形式理论与关键算法”,结项,我们是依托单位。

上一条:国家自然科学基金面上项目
下一条:国家重点研发计划项目