搜索筛选:
搜索耗时2.2567秒,为你在为你在102,285,761篇论文里面共找到 3 篇相符的论文内容
发布年度:
[期刊论文] 作者：解晓方,,
来源：华北国土资源 年份：2012
~~...
[学位论文] 作者：解晓方,
来源：上海大学 年份：2010
随着Internet的迅速发展和应用，WEB应用已经渗透到国计民生的各个领域。相比一般传统软件，WEB应用具有更高的质量需求。WEB应用本身的高复杂性使的对其验证、测试都相当困难，基...
[期刊论文] 作者：沈云付, 解晓方,,
来源：计算机应用与软件 年份：2011
Petri网是一种应用非常广泛的建模工具,它能深刻、简洁地描述控制系统,特别是能较好地描述并发系统的结构,并能对系统的动态性质进行分析。在探讨了Petri网的模型检查的基础...
相关搜索：
