...
机译:汽车行业PLC程序验证的仿真框架
Department of Industrial and Information System Engineering, Ajou University, San 5,Woncheon-Dong, Yeongtong-Gu, Suwon 443-749, Republic of Korea;
Department of Technology & Systems Management, Induk University, Wolgye-Dong, Nowon-Gu, Seoul,139-749, Republic of Korea;
Department of Industrial and Information System Engineering, Ajou University, San 5,Woncheon-Dong, Yeongtong-Gu, Suwon 443-749, Republic of Korea;
Department of Industrial and Information System Engineering, Ajou University, San 5,Woncheon-Dong, Yeongtong-Gu, Suwon 443-749, Republic of Korea;
Department of Industrial and Information System Engineering, Ajou University, San 5,Woncheon-Dong, Yeongtong-Gu, Suwon 443-749, Republic of Korea;
verification of PLC; simulation; virtual manufacturing; automobile industry;
机译:通过LTL规范构造和验证PLC程序
机译:通过LTL规范构建和验证PLC LD程序
机译:关于PLC程序的构建与验证
机译:汽车工业中基于仿真的控制程序验证
机译:一个反例指导抽象精炼框架,用于验证并发C程序。
机译:验证虚拟临床试验应用的混合乳房成像仿真框架的准确性
机译:汽车燃料供应商燃料流量的数值模拟。第五次报告,汽车发动机进气歧管中的液滴行为试验及燃料行为计算计划的验证。