屈服准则在有限元软件中实现的正确性验证

机译：用于钣金成形分析的平面应力屈服准则的有限元实现，验证和验证

机译：基于能量的多孔固体各向异性屈服准则，并通过双轴有限元模拟进行验证

机译：使用Mohr-Coulomb和Elliptical Cap屈服准则对金属粉末压实过程中裂纹扩展的有限元建模

机译：验证关于参考实现的加密软件正确性

机译：有限元分析软件在摩托车摇臂设计中的实验验证

机译：NS-2仿真器中WirelessHART的实现及其正确性验证

机译：vegter屈服准则和有限元中基于物理的强化规则的实现

机译：在（μ）CRL中实现spLICE的自动验证。软件工程

机译：自动验证并行计算机程序正确性的软件实现方法

机译：在基于交易的加速验证系统中实现测试平台的软件侧和硬件侧之间的通信的方法和装置

机译：在基于事务的加速验证系统中实现测试平台的软件侧和硬件侧之间的通信的方法和装置