Verification of a logically controlled, solids transport system using symbolic model checking

Scott T. Probst, Gary J. Powers, D. E. Long, I. Moon

Research output: Contribution to journalArticlepeer-review

22 Citations (Scopus)

Fingerprint

Dive into the research topics of 'Verification of a logically controlled, solids transport system using symbolic model checking'. Together they form a unique fingerprint.

Engineering & Materials Science

Chemistry