搜索筛选:
搜索耗时0.8938秒,为你在为你在102,285,761篇论文里面共找到 1 篇相符的论文内容
发布年度:
[学位论文] 作者:施小纯,,
来源: 年份:2004
模型检测技术是最近二十年来最成功的自动验证技术之一,目前已经被广泛地应用于有穷状态系统(包括电路设计和通信协议)的分析与验证。由于这一技术是基于对状念空间的穷尽搜索......
相关搜索: