机译:延迟验证:新验证技术和方法的作用
Princeton University's Woodrow Wilson School of Public and International Affairs;
Woodrow Wilson School of Public Affairs and the Department of Mechanical and Aerospace Engineering at Princeton University;
verification; fissile materials; compliance; fissile material cutoff treaty; International Atomic Energy Agency; disarmament; dismantlement;
机译:嵌入式控制系统的基于仿真的验证方法:传统和高级建模,测试和验证技术的概述
机译:先进的Ada验证技术:将测试和验证与GNATTest和GNATProve相结合-Hi-Lite项目
机译:验证者的角色:在“总量控制与交易”和“基准与信用”系统中进行验证和验证
机译:延迟验证新验证技术和方法的作用
机译:基于模型的网络体系系统的组成验证方法和工具开发
机译:在极低收入吸烟者中对自我报告停止的远程生化验证的两种方法
机译:经过验证的pOsIX兼容Flash文件系统 - 模块化验证技术和崩溃容差
机译:环境技术验证报告:农药喷雾漂移减少技术。低速和高速风洞试验验证协议的评估。