Current position: Home >> Scientific Research >> Research Projects
Tang Zhengyi

Personal Information

Associate professor  
Supervisor of Master's Candidates  

Research Projects

物联网服务的形式化描述与自动验证技术研究

Hits:

Affiliation of Participant(s):计算机科学与数学学院

Leading Scientist:唐郑熠

Status:完成

Classification of Project:省科技厅

Type of Project:Application Research

Nature of Project:PROJECTNATURE_ID938672

Supported by:省、自治区、直辖市科技项目

Project level:国家或省部级工程技术研究中心项目

Project Participants:王颖,陈义,胡文瑜,洪茂雄,王金水,薛醒思

Project Number:3236

Date of Project Approval:2016-03-01

Scheduled completion time:2019-02-01

Date of Project Completion:2019-03-30

Pre One:“千人计划”科研配套经费

Next One:基于进化算法的LOD实例共指消解问题研究