福建理工大学主页平台管理系统唐郑熠--中文主页-- 馈线自动化算法的形式化建模与验证

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

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

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

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

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

下一条：基于词性标注的文本聚类算法