NSFC 形式化方法领域基金项目申请资助情况分析

Ting Chen; Guozheng Wu; Zhe Liu; Geguang Pu; Ruizhen Zhao; Ke Liu

doi:10.3981/j.issn.2097-0781.2023.01.010

NSFC 形式化方法领域基金项目申请资助情况分析

Ting Chen
, Guozheng Wu^*
, Zhe Liu
, Geguang Pu
, Ruizhen Zhao
, Ke Liu

^*此作品的通讯作者

软件工程学院

National Natural Science Foundation of China
University of Electronic Science and Technology of China
Nanjing University of Aeronautics and Astronautics

科研成果: 期刊稿件 › 文献综述 › 同行评审

摘要

This paper statistically analyzes the fund applications and funding in formal methods under the National Natural Science Foundation of China (NSFC). Then, it describes and analyzes the major research plan and major projects of NSFC related to formal methods. After that, the work expounds on the content related to formal methods in the 14th Five-Year Plan of NSFC.

投稿的翻译标题	Fund Applications and Fundings in Formal Methods Under National Natural Science Foundation of China
源语言	繁体中文
页（从-至）	132-140
页数	9
期刊	Science and Technology Foresight
卷	2
期	1
DOI	https://doi.org/10.3981/j.issn.2097-0781.2023.01.010
出版状态	已出版 - 2023

关键词

14th Five-Year Plan
NSFC
formal methods
funding

访问文件

10.3981/j.issn.2097-0781.2023.01.010

其它文件与链接

链接到 Scopus 的出版物

引用此

@article{e807301b866e4d8e89f9e56e981cf53b,

title = "NSFC 形式化方法领域基金项目申请资助情况分析",

abstract = "This paper statistically analyzes the fund applications and funding in formal methods under the National Natural Science Foundation of China (NSFC). Then, it describes and analyzes the major research plan and major projects of NSFC related to formal methods. After that, the work expounds on the content related to formal methods in the 14th Five-Year Plan of NSFC.",

keywords = "14th Five-Year Plan, NSFC, formal methods, funding",

author = "Ting Chen and Guozheng Wu and Zhe Liu and Geguang Pu and Ruizhen Zhao and Ke Liu",

year = "2023",

doi = "10.3981/j.issn.2097-0781.2023.01.010",

language = "繁体中文",

volume = "2",

pages = "132--140",

journal = "Science and Technology Foresight",

issn = "2097-0781",

publisher = "Science and Technology Review Publishing House",

number = "1",

}

TY - JOUR

T1 - NSFC 形式化方法领域基金项目申请资助情况分析

AU - Chen, Ting

AU - Wu, Guozheng

AU - Liu, Zhe

AU - Pu, Geguang

AU - Zhao, Ruizhen

AU - Liu, Ke

PY - 2023

Y1 - 2023

N2 - This paper statistically analyzes the fund applications and funding in formal methods under the National Natural Science Foundation of China (NSFC). Then, it describes and analyzes the major research plan and major projects of NSFC related to formal methods. After that, the work expounds on the content related to formal methods in the 14th Five-Year Plan of NSFC.

AB - This paper statistically analyzes the fund applications and funding in formal methods under the National Natural Science Foundation of China (NSFC). Then, it describes and analyzes the major research plan and major projects of NSFC related to formal methods. After that, the work expounds on the content related to formal methods in the 14th Five-Year Plan of NSFC.

KW - 14th Five-Year Plan

KW - NSFC

KW - formal methods

KW - funding

UR - https://www.scopus.com/pages/publications/105026412994

U2 - 10.3981/j.issn.2097-0781.2023.01.010

DO - 10.3981/j.issn.2097-0781.2023.01.010

M3 - 文献综述

AN - SCOPUS:105026412994

SN - 2097-0781

VL - 2

SP - 132

EP - 140

JO - Science and Technology Foresight

JF - Science and Technology Foresight

IS - 1

ER -

NSFC 形式化方法领域基金项目申请资助情况分析

摘要

关键词

访问文件

其它文件与链接

指纹

引用此