网站首页 英语词典
Model checking is a formal analysis technique with high automation.
模型检验是一种自动化程度很高的形式化分析技术.
互联网
An approach for the formal analysis of security protocols based on the correlation rules was proposed.
提出了一种基于关联规则的安全协议形式化分析方法.
国先网英语在线翻译词典收录了4367410条英语词汇在线翻译词条，基本涵盖了全部常用英语词汇的中英文双语翻译及用法，是英语学习的有利工具。