词条 形式化方法
拼音 xíng shì huà fāng fǎ
形式化方法是什么意思
形式化方法的造句
1、基于霍尔的“通信顺序进程”和相关的网络形式化的理论研究结果,提出了一种网络故障管理的形式化方法。
2、第五章对比了常用软件测试方法,讨论了形式化方法的基本概念、数学预备知识和形式化规约语言。
词条 形式化方法
拼音 xíng shì huà fāng fǎ
1、基于霍尔的“通信顺序进程”和相关的网络形式化的理论研究结果,提出了一种网络故障管理的形式化方法。
2、第五章对比了常用软件测试方法,讨论了形式化方法的基本概念、数学预备知识和形式化规约语言。