“automated verification system”的概念、定义、翻译、参考文献-科学参考

单词	automated verification system
释义	automated verification system Encyclopedia 理学软件工程管理释 automated verification system自动验证系统根据某个或者某些规范、属性或原则，证明验证对象（软件、需求、规约和设计等）的正确性或非正确性的自动化系统。 Computer 软件工程释文 automated verification system自动验证系统
随便看	Central American Institute for Research and Industrial Technology Central American News Agency Central American Peace Conference in Washington of 1907 Central American Peace Conference in Washington of 1923 Central and Eastern Europe Central and Southern Liaoning urban agglomeration central angle central antihypertensive drugs central antitussives Central Archives of the Italy State central area of China Central Army Central Asia Alliance Central Asia Economic Union central Asia loom Central Asian Orogenic Belt Central Asian Regional Information and Coordination Centre for Combating Illicit Trafficking of Narcotic Drugs, Psychotropic Substances and their Precursors central Asian salamander central Asian tortoise Central Asian Uprising Central Asia under rule of Seleucid Kingdom Central Asia under the Rule of Persian Empir central associative algebra central atom central automorphism

科学参考收录了854744条科技类词条，基本涵盖了常见科技类参考文献及英语词汇的翻译，是科学学习和研究的有利工具。