中英▼
go top

computer aided verification 添加释义

网络释义英英释义

  计算机辅助验证

5月19日，郑昊博士在科技楼A902会议室做了题为"计算机辅助验证（Computer Aided Verification）"的学术报告，报告会气氛活跃，大家踊跃提问，可谓受益匪浅。

基于134个网页-相关网页

短语

computer aided design verification 计算机辅助设计验证

cadv computer aided design verification 计算机辅助设计验证

Computer Aided Verification

  • abstract: Computer Aided Verification (CAV) is an annual academic conference on the theory and practice of computer aided formal analysis of software and hardware systems. It is one of the very best conferences in computer science.

以上来源于: WordNet

双语例句

  • All those confirm a easy way of computer aided project design, verification and assessment.

    使用计算机为工程设计、校核、评价提供了简便快捷的工作手段。

    youdao

  • The analysis, design and verification for the electrical power system of deep space prober are given on the basis of "deep impact", and the software of computer aided design is developed.

    本文以深空撞击任务为背景，对深空探测器的电源系统进行了分析、设计和仿真验证，并开发了深空探测器电源系统设计软件。

    youdao

更多双语例句
$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块？

感谢您的反馈，我们会尽快进行适当修改！
进来说说原因吧 确定
小调查
请问您想要如何调整此模块？

感谢您的反馈，我们会尽快进行适当修改！
进来说说原因吧 确定