A Aralex Aachen research explorer

May 01, 2015 conference-paper

Supporting Dynamic Software Architectures: From Architectural Description to Implementation

Working IEEE/IFIP Conference on Software Architecture (WICSA)

DOI: 10.1109/wicsa.2015.21 OpenAlex

Authors 0

Author list not loaded yet.

Cited by 2 stored of 45

Reasoning about distributed reconfigurable systems
2022 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access

6

citations
Local Reasoning about Parameterized Reconfigurable Distributed Systems
2021 HAL (Le Centre pour la Communication Scientifique Directe) preprint Computer Science Logic, programming, and type systems Open access

0

citations

2 results

References 0