검색결과 : 3건
| No. | Article |
|---|---|
| 1 |
Automatic safety analysis of computer-controlled plants Yang SH, Stursberg O, Chung PWH, Kowalewski S Computers & Chemical Engineering, 25(4-6), 913, 2001 |
| 2 |
Verification of logic controllers for continuous plants using timed condition event-system models Kowalewski S, Engell S, Preussig J, Stursberg O Automatica, 35(3), 505, 1999 |
| 3 |
Using model-checking for Timed Automata to parameterize logic control programs Kowalewski S, Engell S, Huuck R, Lakhnech Y, Lukoschus B, Urbina L Computers & Chemical Engineering, 22(S), 875, 1998 |