Additional Metadata
THEME Software (theme 1)
Conference International Workshop on Discrete Event Systems
Citation
Khakpour, N, Arbab, F, & Rutten, É. (2014). Supervisory controller synthesis for safe software adaptation. In Proceedings of International Workshop on Discrete Event Systems 2014 (WODES 12) (pp. 39–45).