Automatic verification of operating schedules for batch processes using symbolic model checking: Latch model vs. real-time

Jinkyung Kim, Il Moon

Research output: Contribution to journalArticlepeer-review

Fingerprint

Dive into the research topics of 'Automatic verification of operating schedules for batch processes using symbolic model checking: Latch model vs. real-time'. Together they form a unique fingerprint.

Engineering

Computer Science

Physics

Psychology