university website Publications by Year
  • sign in
  • Computer Security /
  • Formal Aspects of Computing /
  • Article
  • Search

N. Khakpour (Narges), F. Arbab (Farhad) and É. Rutten (Éric)

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
Persistent URL doi.org/10.1007/s00165-015-0346-y
Journal Formal Aspects of Computing
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, É. (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
  • View at Publisher

Full Text ( Final Version , 1mb ) cover

university website
  • Address

    • Centrum Wiskunde & Informatica
    • Science Park 123 | 1098 XG Amsterdam | the Netherlands
  • CWI researchers

    • Register Your Work
  • Questions or comments?

    • repository@cwi.nl
artudis website

Workflow

Workflow

Add Content


User Publication Person Organisation Collection
Close