请输入您要查询的字词:
单词
自动验证系统
释义
自动验证系统
Encyclopedia
理学
软件工程管理
释
automated verification system
自动验证系统
根据某个或者某些规范、属性或原则,证明验证对象(软件、需求、规约和设计等)的正确性或非正确性的自动化系统。
Computer
软件工程
释文
automated verification system
自动验证系统
随便看
域的复合
域的复合域
域的导子
域的差积
域的序
域的扩张
域的拓扑
域的提升
域的次数
域的水平
域的特征边界
域的等价扩张
域的算术
域的类群
域的绝对值
域的自同构
域的边界
域的闭包
域的阶
域的零元
域的高
域算术
域类
域自同构
域论
科学参考收录了854744条科技类词条,基本涵盖了常见科技类参考文献及英语词汇的翻译,是科学学习和研究的有利工具。
Copyright © 2000-2023 Sciref.net All Rights Reserved
京ICP备2021023879号
更新时间:2025/4/6 12:50:54