To meet the need of the development of information science and imporant engineering projects in our country, expert group organizes researchers from universities and research institutes to carry out the basis research for trustworthy software. This project aims to improve the innovation ability and international impacts in the area of trustworthy software as well as support a group of researchers of high level. The project organizes the academic communications, organizations and visiting etc.for expert group.
针对国家信息化发展和重大工程应用对可信软件的战略需求,专家组组织国家各个单位的科技队伍对可信软件基础研究进行探索,提高我国在可信软件领域的原始创新能力和国际影响力,为国家相关重大计划和工程的可信软件研发提供科学支撑,培养一批高水平的研究人才,促进我国软件产业的崛起和发展。该项目支持可信软件基础研究专家组调研和学术交流,包括项目的组织,评审,交流和国际访问等活动。
{{i.achievement_title}}
数据更新时间:2023-05-31
出租车新运营模式下的LED广告精准投放策略
A Fast Algorithm for Computing Dominance Classes
基于Eclipse图形建模框架的图形化脉冲序列设计软件的实现
针对并行软件待测行为测试的模型化简方法
Ordinal space projection learning via neighbor classes representation
指导专家组调研和组织学术会议费用
指导专家组调研和组织学术会议费用
指导专家组调研和组织学术会议费用
指导专家组调研和组织学术会议费用