搜索筛选:
搜索耗时0.0931秒,为你在为你在102,285,761篇论文里面共找到 1 篇相符的论文内容
发布年度:
[期刊论文] 作者：部德振,
来源：计算机工程与设计 年份：2011
针对当前的模型检测工具不能对时间自动机直接检测带时间约束的线性时序逻辑性质的问题，对带时间约束的线性时序逻辑性质的模型检测进行了研究。带时间约束的线性时序逻辑公式......
相关搜索：
