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