请输入您要查询的字词:
单词
automated verification system
释义
automated verification system
Encyclopedia
理学
软件工程管理
释
automated verification system
自动验证系统
根据某个或者某些规范、属性或原则,证明验证对象(软件、需求、规约和设计等)的正确性或非正确性的自动化系统。
Computer
软件工程
释文
automated verification system
自动验证系统
随便看
theorem on minimal surfaces
theorem on multiplication of probabilities
theorem on pentagonal numbers
theorem on power series
theorem on prime twins
theorem on regularity
theorem on removable singularities
theorem on representability
theorem on termwise differentiation
theorem on trigonometric series
theorem on unique factorization
theorem on zeros
theorem proving
theorem proving analysis
theorem拉斯克-诺特分解定理
theorem最大分离最小距离定理
theorem米塔-列夫勒部分分式定理
theoretic
theoretical
theoretical aerodynamics
theoretical analysis
Theoretical and Applied Genetics
theoretical and computational chemistry
theoretical approximation of solutions
theoretical arithmetic
科学参考收录了854744条科技类词条,基本涵盖了常见科技类参考文献及英语词汇的翻译,是科学学习和研究的有利工具。
Copyright © 2000-2023 Sciref.net All Rights Reserved
京ICP备2021023879号
更新时间:2025/7/7 16:19:15