搜索筛选:
搜索耗时2.2246秒,为你在为你在102,285,761篇论文里面共找到 2 篇相符的论文内容
发布年度:
[学位论文] 作者：苏继强,
来源：上海大学 年份：2007
随着计算机软硬件系统规模的日益复杂化、重要化，如何保证计算机系统的正确性和可靠性，逐渐成为当前理论界和产业界共同关心的重要问题。长期以来，常用的系统设计检验方法是以经......
[期刊论文] 作者：苏继强,沈云付,,
来源：计算机工程与设计 年份：2008
随着计算机软硬件系统规模的日益复杂，如何保证系统的正确和可靠，逐渐成为当前理论界和产业界共同关心的重要问题。为此提出的诸多理论和方法中，模型检查以其简洁明了和自动化程......
相关搜索：
