排序方式: 共有2条查询结果,搜索用时 0 毫秒
1
1.
2.
时间自动机与自动验证 总被引:1,自引:1,他引:0
给出时间自动机的基本概念,描述了区域自动机的构造方法,并且实现了区域自动机的构造算法.简述了通过时间自动机进行自动验证的过程,最后分析了区域自动机构造算法的时间复杂度. 相似文献
1