论文成果
实时互斥协议的形式化建模与自动验证
点击次数：
发布时间： 2018-06-04
所属单位：计算机科学与数学学院
发表刊物：福建工程学院学报
项目来源：其他课题
备注：2016年5月20日扬审核通过
论文类型：期刊论文
论文编号：8123
卷号：14
期号：1
ISSN号：1672-4348
是否译文：否
CN号：35-1267/Z
发表时间：2016-01-01

陈义

所在单位：信息科学与工程学院

所属院系：电气与信息工程学院

闽ICP备10022194号-1    福建省福州市闽侯县上街镇学府南路69号，邮编350118
访问量：次 手机版 English 中文官网

最后更新时间： ..