搜索筛选:
搜索耗时0.0842秒,为你在为你在102,285,761篇论文里面共找到 2 篇相符的论文内容
发布年度:
[期刊论文] 作者：吕审,
来源：电脑知识与技术 年份：2011
摘要：随着工业上广泛采用基于模型的开发(model-based development.MBD)的工具，这正在改变工业上因为采用形式化方法所带来的花费和效益的平衡。形式化方法例如模型检测融合到软件开发环境中能降低费用和使复杂的检测能自动和严密的进行。该文主要用一个实际应用......
[学位论文] 作者：吕审,
来源：武汉理工大学 年份：2011
计算机软硬件系统日益复杂,其正确性和可靠性已成为计算机领域中研究的热点,在诸多方法和理论中,模型检测以其简洁明了和自动化程度高而倍受关注。模型检测的关键问题是状态...
相关搜索：
