Chair: LI Lefei (Tsinghua)
-
Talk I-1: Model-Based Product Line Engineering with Genetic Algorithms for Automated Component Selection (WU Daphne or ONG Robert)
-
Talk I-2: Supporting Automotive Cooling and HVAC Systems Design Using a SysML-Modelica Transformation Approach (FORLINGERI Marco and YAN Junjie)
-
Talk I-3: Model-Based Airplane Energy Management (ZHAN Chao)
-
Talk I-4: A parallel Verification approach for new technology application in complex radar system (WEI Yao)