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
Computer Science
Control
100%
Model Checking
66%
Design
33%
Case Study
16%
Process Control
16%
Automaton
16%
Model Development
16%
System Behavior
16%
Computation Tree
16%
Events
16%
Validation
16%