中英▼
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

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

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

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