计算理论与先进计算技术研究室
科研项目
热点新闻
国家自然科学基金联合基金
国家自然科学基金联合基金(U1204608) “基于实时区间逻辑模型验证的入侵检测---形式理论与关键算法”,结项,我们是依托单位。
上一条:国家自然科学基金面上项目 下一条:国家重点研发计划项目