Formal and Joint Verification of Control Programs and Supervision Interfaces for Socio-technical Systems Components
| Autor: | Mesli-Kesraoui, S., Toguyeni, A., Bignon, A., Oquendo, F., Kesraoui, D., Berruet, P. |
|---|---|
| Zdroj: | In IFAC PapersOnLine 2016 49(19):426-431 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|