中国矿业大学主页平台系统鲍宇--中文主页-- Conflict Analysis and Detection based on Model Checking for Spatial Access Control Policy

Conflict Analysis and Detection based on Model Checking for Spatial Access Control Policy

发布时间：2021-09-28 点击次数：

所属单位：计算机科学与技术学院

项目来源：国家自然科学基金项目

第一作者：张爱娟

合写作者：纪承,鲍宇,李昕

论文类型：期刊论文

论文编号：5b5bb2947b5337f7017b96ccea891fb7

卷号：卷22 期5 页478-488

ISSN号：1007-0214

是否译文：否

发表时间：2017-09-11

上一条： Assessment of chest cardiac compression in convolutional neural network based on weak supervised learning strategy 下一条： Virtual Movement of Relay Nodes for Two-Tier Wireless Sensor Networks in Tunnels.