검색결과 : 1건
| No. | Article |
|---|---|
| 1 |
Symbolic reachability analysis and maximally permissive entrance control for globally synchronized templates Lin LY, Stefanescu A, Wang WL, Su R, Wonham WM Automatica, 87, 290, 2018 |
| No. | Article |
|---|---|
| 1 |
Symbolic reachability analysis and maximally permissive entrance control for globally synchronized templates Lin LY, Stefanescu A, Wang WL, Su R, Wonham WM Automatica, 87, 290, 2018 |