• 王金水

    Associate professor

    Supervisor of Master's Candidates
  • Name (Pinyin):Wang Jinshui
  • 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
Current position: Home >> Scientific Research >> Paper Publications
馈线自动化算法的形式化建模与验证

Hits:

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

Journal:计算机工程

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

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

Indexed by:Journal paper

Document Code:8071

Volume:42

Issue:3

ISSN No.:1000-3428

Translation or Not:no

CN No.:31-1289/TP

Date of Publication:2016-03-25

Pre One:行为时序逻辑中四级公平性下的活性推理规则

Next One:OWL-S过程模型的形式化描述与相容性分析
Copyright © FuJian University of Technology

Click:

The Last Update Time:..

The Last Update Time:..