Modeling and verification of control logics in safety instrumented system for chemical industrial processes

Jinkyung Kim, Younghee Lee, Il Moon

Research output: Chapter in Book/Report/Conference proceedingChapter

1 Citation (Scopus)

Fingerprint

Dive into the research topics of 'Modeling and verification of control logics in safety instrumented system for chemical industrial processes'. Together they form a unique fingerprint.

Engineering

Computer Science

Mathematics