Supervisory controller synthesis for safe software adaptation

2014

Presented at the International Workshop on Discrete Event Systems, Paris, France

Additional Metadata
THEME	Software (theme 1)
Conference	International Workshop on Discrete Event Systems
Organisation	Computer Security
Citation APA Style AAA Style APA Style Cell Style Chicago Style Harvard Style IEEE Style MLA Style Nature Style Vancouver Style American-Institute-of-Physics Style Council-of-Science-Editors Style BibTex Format Endnote Format RIS Format CSL Format DOIs only Format	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).

Publication