Model Transformation; Meta-Models; B Method; Method integration; UML-to-B;
机译:模型转换的向后推理:方法和应用
机译:使用转换对无边界问题进行有限元建模:严格,强大而简单的解决方案
机译:基于严格场的方法与超导体薄膜固有表面阻抗的阻抗变换方法的比较分析
机译:使用B方法进行模型转换的严格推理
机译:使用Voronoi Tessellations为具有界面反应的系统建模HFM接触器:基本的严格模型和使用简化因子的更简单的薄膜理论方法。
机译:严格的微生物组学的严格统计方法
机译:模型转换的向后推理:方法和应用