Specifying Properties of Dynamic Architectures Using Configuration Traces.

Diego Marmsoler, Mario Gleirscher

Browse the full ICTAC paper archive.