福建理工大学主页平台管理系统唐郑熠--中文主页-- OWL-S过程模型的形式化描述与相容性分析

唐郑熠 ( 副教授 ) 赞
的个人主页 http://faculty.fjut.edu.cn/tangzhengyi/zh_CN/index.htm
副教授硕士生导师

论文成果当前位置：中文主页 >> 科学研究 >> 论文成果

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

点击次数：
所属单位：计算机科学与数学学院
发表刊物：计算机工程与科学
项目来源：省、自治区、直辖市科技项目
备注：2016年5月20日扬审核通过
论文类型：期刊论文
论文编号：8072
卷号：38
期号：3
ISSN号：1007-130X
是否译文：否
CN号：43-1258/TP
发表时间：2016-03-25

上一条：通信协议的Promela语言建模与检测

下一条：馈线自动化算法的形式化建模与验证