模型验证技术在红外空空导弹控制系统动态测试中的应用

机译：内部测试集（ITS）方法：一种新的交叉验证技术，可评估QSAR模型的预测能力。在套标基准中的应用

机译：使用动态测试生成和显式状态模型检查在Web应用程序中查找错误

机译：主动振动控制系统对居民振动控制系统改进的应用激活振动控制系统的应用研究（使用减少模型学习）

机译：在中程空空导弹中应用红外制导的期望

机译：软件验证技术在硬件设计验证中的应用。

机译：医疗保健中的计算机应用。医院中的计算机系统。医疗记录和质量保证：医疗数据验证技术

机译：Studio应用了基于实数模型的验证和基于断言的混合信号验证。基于实数建模与断言的验证技术在混合信号电路设计中的研究与应用

机译：空空导弹效能模型中飞机逃逸策略分析。

机译：最终再现的用于个人数字助理中的嵌入式系统的显示图案转换控制系统，具有转换控制器，将转换后的图像数据应用到图案模型中，以基于所应用的事件生成目标图案

机译：应用模拟计算模型进行计算的方法汽车开发应用中组件的稳定性，涉及通过安全计算环境解密计算模型，并将模型应用于模型数据

机译：威胁例如空空导弹，追击和反制装置货机，具有红外激光源和带有棱镜的定向头，其折射率差导致子光束的光程差大