搜索筛选:
搜索耗时0.0800秒,为你在为你在102,285,761篇论文里面共找到 3 篇相符的论文内容
发布年度:
[期刊论文] 作者：QIAN Junyan CAI Guoyong GU Tia,
来源：武汉大学学报：自然科学英文版 年份：2008
万维网服务是高度分布式的程序，并且并发的软件是非常错误容易的。模型检查是一种强大的技术在并发的系统发现错误。然而，存在模型检查器没有足够的能力为为万维网服务使用的程......
[期刊论文] 作者：Qian Junyan,Wu Juan,Zhao Lingz,
来源：电子科学学刊：英文版 年份：2014
As a complementary technology to Binary Decision Diagram-based(BDD-based) symbolic model checking, the verification techniques on Boolean satisfiability problem...
[期刊论文] 作者：Qian Junyan,Wu Juan,Zhao Lingzhong,Guo Yunchuan,,
来源：Journal of Electronics(China) 年份：2014
As a complementary technology to Binary Decision Diagram-based(BDD-based) symbolic model checking, the verification techniques on Boolean satisfiability problem...
相关搜索：
