국외저널

• 국제학술지
• 그외

• 65 Development of corrosion control document database system in crude distillation unit,
• 64 Current status and future projections of LNG demand and supplies: A global prospective
• 63 An index-based risk assessment model for hydrogen infrastructure
• 62 An Improved Tank in Series Model for the Direct Methanol Fuel Cell
• 61 Model checking for automatic verification of control logics in chemical processes
• 60 A Heuristic-Embedded Scheduling System for a Pharmaceutical Intermediates Manufacturing Plant
• 59 Automatic verification of operating schedules for batch processes using symbolic model checking: Latch model vs. real-time
• 58 Speed of sound and excess isentropic compressibility of 1,3-dioxolane or 1,4-dioxane + butan-1-ol or + butan-2-ol binary mixtures at 308.15 K and atmospheric pressure
• 57 Thermodynamic and acoustic properties for binary and ternary mixtures of cyclic ethers with industrially important solvents at 308.15 K
• 56 Thermodynamic investigation of molecular interactions in 1,3-dioxolane or 1,4-dioxane + benzene or toluene + formamide or + N, N-dimethylformamide ternary mixtures at 308.15 K and atmospheric pressure
• 55 Development of a risk assessment program for chemical terrorism
• 54 Development of a web-based 3D virtual reality program for hydrogen station
• 53 Application of TRIZ creativity approach to chemical process safety
• 52 Automatic verification of control logics in safety instrumented system design for chemical process industry
• 51 Development of a new automatic system for fault tree analysis for chemical process industries