Qr code
中文
王金水

Associate professor

Supervisor of Master's Candidates


School/Department:计算机科学与数学学院

Education Level:With Certificate of Graduation for Doctorate Study

Business Address:计算机科学与数学学院博学楼C4 201

Contact Information:QQ: 42994696 wangjinshui@fjut.edu.cn

Degree:Doctoral degree

Status:Employed

Alma Mater:复旦大学

Discipline:Data science and large data technology
Computer science and technology
software engineering

Click:Times

The Last Update Time: ..

Current position: Home >> Scientific Research >> Research Projects
物联网服务的形式化描述与自动验证技术研究

Release time:2018-06-04    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