Supervisor Synthesis for Controller Upgrades

Kloos, Johannes and Majumdar, Rupak
(2013) Supervisor Synthesis for Controller Upgrades.
In: Proc. of the Conference on Design, Automation and Test in Europe (DATE 2013).
Conference: None | Not Set

Full text not available from this repository.

Actions

Actions (login required)

View Item View Item