Encapsulation and Sharing in Dynamic Software Architectures: The Hypercell Framework

Jean-Bernard Stefani 1 Martin Vassor 1
1 SPADES - Sound Programming of Adaptive Dependable Embedded Systems
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
Complete list of metadatas

Cited literature [40 references]  Display  Hide  Download

https://hal.inria.fr/hal-02313751
Contributor : Hal Ifip <>
Submitted on : Friday, October 11, 2019 - 2:55:57 PM
Last modification on : Friday, October 25, 2019 - 1:24:37 AM

File

 Restricted access
To satisfy the distribution rights of the publisher, the document is embargoed until : 2022-01-01

Please log in to resquest access to the document

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

Jean-Bernard Stefani, Martin Vassor. Encapsulation and Sharing in Dynamic Software Architectures: The Hypercell Framework. FORTE 2019 - 39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2019, Copenhagen, Denmark. pp.242-260, ⟨10.1007/978-3-030-21759-4_14⟩. ⟨hal-02313751⟩

Share

Metrics

Record views

43