机译:研究模型以验证用于3-D静力计算的软件
机译:用于验证3D非线性涡流分析软件的模型研究
机译:MDE中静态软件模型的形式验证:系统回顾
机译:自动验证软件过程模型上的静态策略
机译:使用3-D有限元模型计算EDS型Maglev的电磁力
机译:使用现代的3-D一分半高压涡轮进行代码验证和流模型开发的时钟对涡轮空气动力学影响的实验研究。
机译:具有二阶交互模型的可极化模拟 - 用于快速可极化计算的强制场和软件:小型系统的参数和自由能量计算
机译:研究模型以验证用于3-D静力计算的软件