formal analysis methods

基本解释

• [計算機科學技術]形式化分析方法

英汉例句

雙語例句

• The formal contexts and concept lattices in formal concept analysis are good methods of knowledge representation.
  形式概唸分析中的形式背景及概唸格是一種較好的知識表示方法；
• In order to use these formal analysis methods in anti-virus technologies, we may have to rethink the whole process.
  爲了在反病毒技術中使用這些形式分析方法，我們可能必須重新考慮整個過程。
• Following are the main results of this thesis:Introduce the background and basic conceptions of security protocols, expatiate the three classifications of the formal analysis methods.
  對安全協議的背景及基本概唸、安全協議的形式化分析方法的三種思路進行了系統的介紹；

• formal analysis methods更多例句

专业释义

計算機科學技術

• 形式化分析方法