Verification and Control of Hybrid Systems Under Safety Requirements
| Autor: | Lucia, W., Famularo, D., Franzè, G., Furfaro, A. |
|---|---|
| Zdroj: | In IFAC PapersOnLine 2018 51(25):61-66 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
| Autor: | Lucia, W., Famularo, D., Franzè, G., Furfaro, A. |
|---|---|
| Zdroj: | In IFAC PapersOnLine 2018 51(25):61-66 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|