검색결과 : 1건
| No. | Article |
|---|---|
| 1 |
Design of decentralized critical observers for networks of finite state machines: A formal method approach Pola G, De Santis E, Di Benedetto MD, Pezzuti D Automatica, 86, 174, 2017 |
| No. | Article |
|---|---|
| 1 |
Design of decentralized critical observers for networks of finite state machines: A formal method approach Pola G, De Santis E, Di Benedetto MD, Pezzuti D Automatica, 86, 174, 2017 |