An incremental model repair approach to timed discrete event systems
Autor: | F., Basile *, P., Chiacchio *, J., Coppola * |
---|---|
Zdroj: | In IFAC PapersOnLine July 2017 50(1):13636-13641 |
Databáze: | ScienceDirect |
Externí odkaz: |
Autor: | F., Basile *, P., Chiacchio *, J., Coppola * |
---|---|
Zdroj: | In IFAC PapersOnLine July 2017 50(1):13636-13641 |
Databáze: | ScienceDirect |
Externí odkaz: |