网站首页 英语词典
A protocol testing theory is presented based on formal methods.
利用形式化方法构建了协议测试理论.
互联网
Improving the scalability and speed of Formal Methods becomes hot spot in worldwide research.
提高形式验证的验证规模和速度成为国际研究的热点.
国先网英语在线翻译词典收录了4367410条英语词汇在线翻译词条,基本涵盖了全部常用英语词汇的中英文双语翻译及用法,是英语学习的有利工具。