-
Formal method is an important approach for construction of the trustworthy software.
形式化方法是构建可信软件的重要途径。
youdao
-
The method is based on the attribute of formal concept analysis.
这种方法是基于形式概念分析属性之上的。
youdao
-
The method is based on the attribute of formal concept analysis.
这种方法是基于形式概念分析属性之上的。
youdao