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

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

doi:10.3981/j.issn.2097-0781.2023.01.010

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

Translated title of the contribution: Fund Applications and Fundings in Formal Methods Under National Natural Science Foundation of China

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

^*Corresponding author for this work

Software Engineering Institute

Research output: Contribution to journal › Review article › peer-review

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.

Translated title of the contribution	Fund Applications and Fundings in Formal Methods Under National Natural Science Foundation of China
Original language	Chinese (Traditional)
Pages (from-to)	132-140
Number of pages	9
Journal	Science and Technology Foresight
Volume	2
Issue number	1
DOIs	https://doi.org/10.3981/j.issn.2097-0781.2023.01.010
State	Published - 2023

Access to Document

10.3981/j.issn.2097-0781.2023.01.010

Cite this

@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, formal methods, funding, NSFC",

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",

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 - formal methods

KW - funding

KW - NSFC

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 形式化方法领域基金项目申请资助情况分析

Abstract

Access to Document

Other files and links

Fingerprint

Cite this