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