Current position: Home >> Scientific Research >> Paper Publications
Tang Zhengyi

Personal Information

Associate professor  
Supervisor of Master's Candidates  

Paper Publications

OWL-S过程模型的形式化描述与相容性分析

Hits:

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

Journal:计算机工程与科学

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

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

Indexed by:Journal paper

Document Code:8072

Volume:38

Issue:3

ISSN No.:1007-130X

Translation or Not:no

CN No.:43-1258/TP

Date of Publication:2016-03-25

Pre One:通信协议的Promela语言建模与检测

Next One:馈线自动化算法的形式化建模与验证