Department of EECS Korea Advanced Institute of Science and Technology (KAIST) Daejon 305-701, Korea;
UML-based modeling and simulation; mission-critical embedded system development; model transformation;
机译:建模和仿真驱动的嵌入式实时系统开发
机译:通过正式技术支持基于UML的嵌入式系统开发
机译:实时敏捷性:用于实时和嵌入式系统开发的Harmony / ESW方法
机译:任务关键型实时嵌入式系统开发的基于UML的建模与仿真方法
机译:大型化学系统仿真嵌入方法的开发与应用。
机译:个人计算机和手机上大型系统的实时交互式仿真:针对特定患者的心脏建模和其他应用
机译:面向目标的模式,用于基于UmL的嵌入式系统需求建模
机译:评估任务关键型大规模嵌入式系统的实时Java