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