A reverse engineering approach to generate a virtual plant model for PLC simulation
- 期刊名称The International Journal of Advanced Manufacturing Technology
- 作者Park, Sang C.; Ko, Minsuk; Chang, Minho
- 卷第69卷
- 印刷ISSN0268-3768
- 电子ISSN1433-3015
- 文件大小1354.20KB
- 发表时间2013-12
- DOI10.1007/s00170-013-5209-1
- 页码2459-2469
Book reviewsRichard E. Barrett; Thomas K. Rudel; Stephen B. Brush; Tim W. Clark · 1993
On the functional orgins of essentialismH. Clark Barrett · 2001
Inner city disadvantage and family functioningA. F. Clark; L. Barrett; I. Kolvin · 2000
Validating More Loop OptimizationsYing Hu; Clark Barrett; Benjamin Goldberg; Amir Pnueli · 2005
Enzymatic Computation and Cognitive ModularityH. Clark Barrett · 2005
Centrosomes and cancerJeffrey L Salisbury; Clark M Whitehead; Wilma L Lingle; Susan L Barrett · 1999
Centrosomes and cancerJeffrey L Salisbury; Clark M Whitehead; Wilma L Lingle; Susan L Barrett · 1999
Rise of the humansH. Clark Barrett · 2004
The Incredible ELKKazakov, Yevgeny; Krötzsch, Markus; Simančík, František · Journal of Automated Reasoning · 2014
Labelings for Decreasing DiagramsZankl, Harald; Felgenhauer, Bertram; Middeldorp, Aart · Journal of Automated Reasoning · 2015
Absorption for ABoxesWu, Jiewen; Hudek, Alexander; Toman, David; Weddell, Grant · Journal of Automated Reasoning · 2014
Definitional Expansions in MizarKorniłowicz, Artur · Journal of Automated Reasoning · 2015
Reverse ComplexityAsperti, Andrea · Journal of Automated Reasoning · 2015
An Experiment with Satisfiability Modulo SATZhang, Hantao · Journal of Automated Reasoning · 2016
MizAR 40 for Mizar 40Kaliszyk, Cezary; Urban, Josef · Journal of Automated Reasoning · 2015
Mark Stickel: His Earliest WorkLoveland, Donald W. · Journal of Automated Reasoning · 2016