검색결과 : 2건
| No. | Article |
|---|---|
| 1 |
SAT-Based Control of Concurrent Software for Deadlock Avoidance Stanley J, Liao HW, Lafortune S IEEE Transactions on Automatic Control, 60(12), 3269, 2015 |
| 2 |
Formal verification of sequence controllers Park T, Barton PI Computers & Chemical Engineering, 23(11-12), 1783, 2000 |