%0 Conference Proceedings
%T Encapsulation and Sharing in Dynamic Software Architectures: The Hypercell Framework
%+ Sound Programming of Adaptive Dependable Embedded Systems (SPADES)
%A Stefani, Jean-Bernard
%A Vassor, Martin
%Z Part 1: Full Papers
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B FORTE 2019 - 39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE)
%C Copenhagen, Denmark
%Y Jorge A. Pérez
%Y Nobuko Yoshida
%I Springer International Publishing
%3 Formal Techniques for Distributed Objects, Components, and Systems
%V LNCS-11535
%P 242-260
%8 2019-06-17
%D 2019
%R 10.1007/978-3-030-21759-4_14
%Z Computer Science [cs]
%Z Computer Science [cs]/Networking and Internet Architecture [cs.NI]Conference papers
%G English
%Z TC 6
%Z WG 6.1
%2 https://inria.hal.science/hal-02313751/document
%2 https://inria.hal.science/hal-02313751/file/478668_1_En_14_Chapter.pdf
%L hal-02313751
%U https://inria.hal.science/hal-02313751
%~ UGA
%~ CNRS
%~ INRIA
%~ INPG
%~ INRIA-RHA
%~ LIG
%~ INRIA_TEST
%~ TESTALAIN1
%~ IFIP-LNCS
%~ IFIP
%~ INRIA2
%~ IFIP-TC
%~ IFIP-WG
%~ IFIP-TC6
%~ IFIP-WG6-1
%~ LIG-MFML-SPADES
%~ IFIP-FORTE
%~ IFIP-DISCOTEC
%~ INRIA-RENGRE
%~ IFIP-LNCS-11535
%~ UGA-COMUE
%~ LIG_SIDCH