2016-03-01
Synthesizing structural and behavioral control for reconfigurations in component-based systems
Publication
Publication
Formal Aspects of Computing , Volume 28 - Issue 1 p. 21- 43
Additional Metadata | |
---|---|
doi.org/10.1007/s00165-015-0346-y | |
Formal Aspects of Computing | |
Organisation | Computer Security |
Khakpour, N., Arbab, F., & Rutten, É. (2016). Synthesizing structural and behavioral control for reconfigurations in component-based systems. Formal Aspects of Computing, 28(1), 21–43. doi:10.1007/s00165-015-0346-y |