Software (theme 1)
International Workshop on Discrete Event Systems
Computer Security

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).