2014
Supervisory controller synthesis for safe software adaptation
Publication
Publication
Presented at the
International Workshop on Discrete Event Systems, Paris, France
Additional Metadata | |
---|---|
International Workshop on Discrete Event Systems | |
Organisation | 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). |