会议论文《基于空间逻辑和计算树逻辑的模型检测》探讨了如何结合空间逻辑与计算树逻辑进行系统模型的验证。文章提出了有效的模型检测方法，以确保复杂系统的正确性。该研究对于通信系统的设计与分析具有重要意义，为相关领域的学术研究提供了理论支持和技术参考。
文档为pdf格式，0.25MB，总共7页。
举报
