Skip to main navigation
Skip to search
Skip to main content
Yonsei University Home
Home
Profiles
Research Units
Projects
Research output
Prizes
Activities
Press / Media
Search by expertise, name or affiliation
Model checking for automatic verification of control logics in chemical processes
Jinkyung Kim,
Il Moon
Department of Chemical and Biomolecular Engineering
Research output
:
Contribution to journal
›
Article
›
peer-review
7
Citations (Scopus)
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Model checking for automatic verification of control logics in chemical processes'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Chemistry
Safety
81%
Industrial Substance
63%
Process Control
55%
Error
35%
Industry
34%
Strength
30%
Engineering & Materials Science
Model checking
100%
Industrial chemicals
28%
Discrete event simulation
20%
Process control
17%
Industry
8%