Specifying Properties of Dynamic Architectures Using Configuration Traces (Q3179403): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
| Property / cites work | |||
| Property / cites work: A Model of Dynamic Systems / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Towards Managing Dynamic Reconfiguration of Software Systems in a Categorical Setting / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Two Graph-Based Techniques for Software Architecture Reconfiguration / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4002642 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Isabelle/HOL. A proof assistant for higher-order logic / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4331846 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4035653 / rank | |||
Normal rank | |||
Latest revision as of 04:26, 13 July 2024
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Specifying Properties of Dynamic Architectures Using Configuration Traces |
scientific article |
Statements
Specifying Properties of Dynamic Architectures Using Configuration Traces (English)
0 references
21 December 2016
0 references
