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 >> Paper Publications
实时互斥协议的形式化建模与自动验证

Release time:2018-06-04    Hits:

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

Journal:福建工程学院学报

Funded by:其他课题

Note:2016年5月20日扬审核通过

Indexed by:Journal paper

Document Code:8123

Volume:14

Issue:1

ISSN No.:1672-4348

Translation or Not:no

CN No.:35-1267/Z

Date of Publication:2016-01-01