机译:ProSim 2005特刊,第六届软件过程仿真和建模国际研讨会,美国密苏里州圣路易斯,2005年5月
机译:第32届国际自动语言,语言和编程学术会议(ICALP2005),および安全协议自动推理第二次研讨会(ARSPA2005)参加报告
机译:第32届自动机,语言和程序设计国际学术研讨会(ICALP2005),第二届安全协议分析自动推理研讨会(ARSPA2005)参加报告
机译:首届软件问题建模与分析国际研讨会(MACS 2005)
机译:使用基于FEM的建模软件分析带旁路线圈的同步电机
机译:来自2019年国际计算网络生物学研讨会的选定研究文章:建模分析和控制(CNB-MAC)
机译:2016年国际计算网络生物学研讨会:模型,分析和控制(CNB-MAC)的部分研究文章
机译:人机集成设计与分析系统(mIDas)任务加载模型(TLm)实验与软件详细设计报告