Paper Publications
Conflict Analysis and Detection based on Model Checking for Spatial Access Control Policy
- DOI number:10.3390/buildings15193615
- Affiliation of Author(s):力学与土木工程学院
- Funded by:国家自然科学基金项目
- First Author:周圣华
- Co-author:gutiantian,Wong, Mun On
- Indexed by:Journal paper
- Volume:v 15,n 19,
- ISSN No.:2075-5309
- Translation or Not:no
- Date of Publication:2025-10-01