元启发式搜索方法相关硕士博士期刊学术论文 - 搜论网

元启发式搜索方法相关论文

软件形式化开发关键部件选取的水波优化方法

形式化方法有助于从根本上提高软件系统的质量与可靠性,但其开发成本往往过于高昂.一种折衷的办法是在软件系统中选取关键性部件进......

期刊

形式化方法可靠度元启发式搜索方法水波优化算法 formal method reliability metaheuristic search metho

看过本文同时还关注