Qr code
Login 中文
黄文超

Associate professor

Supervisor of Doctorate Candidates

Supervisor of Master's Candidates


E-Mail:

Click:Times

The Last Update Time: ..

Current position: Home >> Scientific Research >> Research Projects
网络空间安全协议智能形式化自动验证技术

Hits:

Teaching and Research Group:计算机科学与技术系

Status:进行

Classification of Project:面上项目

Nature of Project:纵向项目

Supported by:国家自然科学基金项目

Project Number:纵20190565

Date of Project Approval:2019-10-04

Scheduled completion time:2023-12-31

Date of Project Initiation:2020-01-01

Project Approval Number:61972369

Subsidy Amount:60.0