University of California, Riverside.;
机译:锂离子电池剩余使用寿命预测的混合方法的验证和验证
机译:锂离子电池剩余寿命预测的混合方法的验证与验证
机译:
机译:Shpbench - 基于智能混合式原型的环境,用于早期测试,验证和(基于用户的)汽车高级驱动程序辅助系统的验证
机译:具有非线性几何效应的窗格结构混合测试框架的开发,验证和验证
机译:重症监护决策支持系统中使用的数据的验证和确认算法。
机译:优化代码1的翻译和运行时验证1该研究得到了NSF资助CCR-0098299,ONR资助N00014-99-1-0131和John von Neumann Minerva反应堆系统验证中心的部分支持。