research on the formal method
research on the formal method
形式化方法的研究
以上为机器翻译结果，长、整句建议使用 人工翻译 。
-
Finally, through the attempt and research on verification logic in the field of information security, we point that formal logic method is sure playing a main role in it.
最后想指出的是，我们通过对验证逻辑在信息安全方面的一些尝试和研究，说明了形式化逻辑方法确实可以在这个领域上发挥重要作用。
youdao
更多双语例句