请输入您要查询的字词:
单词
模型检测
释义
模型检测
Encyclopedia
理学
软件安全防御
释
model detection
模型检测
一种有限状态系统的自动验证技术。可以彻底地、自动地检查给定硬件或软件系统的模型是否符合给定的属性和规范。
随便看
Sinn Féin
Sino-American Agreement on $500 Million Loan
Sino-American New Equal Treaty
Sino-American Treaty of Friendship, Commerce, and Navigation
sinoatrial block
sinoatrial conduction time
sinoatrial node
sinoatrial orifice
sinoatrial valve
Sino-barbarian dichotomy
Sino-British Board of Directors for the management of Gengzi Reparations
Sino-British New Equal Treaty
Sino-British Treaty on Tibet and India
sinobronchial syndrome
Sinochem Group
sino-foreign joint venture school
Sino-French New Treaty
Sino-French War
Sino Japanese cooperation in Beijing Zhihua Temple Mural protection project
Sino Maps Press
Sinomaps Press Group
sinonasal malignancies
Sinongsi
Sinope
Sinopec Beijing Research Institute of Chemical Industry
科学参考收录了854744条科技类词条,基本涵盖了常见科技类参考文献及英语词汇的翻译,是科学学习和研究的有利工具。
Copyright © 2000-2023 Sciref.net All Rights Reserved
京ICP备2021023879号
更新时间:2025/7/2 14:03:32