基于表达式树的Modelica单位检查和推导
기우표체식수적Modelica단위검사화추도
Unit check and derivation in Modelica based on expression tree
저자의 최근 논문