검색결과 : 1건
| No. | Article |
|---|---|
| 1 |
Formal analysis of piecewise affine systems through formula-guided refinement Yordanov B, Tumova J, Cerna I, Barnat J, Belta C Automatica, 49(1), 261, 2013 |
| No. | Article |
|---|---|
| 1 |
Formal analysis of piecewise affine systems through formula-guided refinement Yordanov B, Tumova J, Cerna I, Barnat J, Belta C Automatica, 49(1), 261, 2013 |