论文研究Model Checking Hybrid Systems Within Hybrid Temporal Logic.pdf
基于混合时序逻辑的混合系统的模型检测，张海宾，，这篇文章处理基于混合时序逻辑的混合系统的模型检测技术。通过转换为区间时序逻辑的模型检测问题我们解决了时间自动机的模型检测
用户评论