Pages that link to "Item:Q347359"
From MaRDI portal
The following pages link to Configuration logics: modeling architecture styles (Q347359):
Displaying 8 items.
- A type-centric framework for specifying heterogeneous, large-scale, component-oriented, architectures (Q608247) (← links)
- Formal reliability analysis of redundancy architectures (Q667523) (← links)
- Weighted propositional configuration logics: a specification language for architectures with quantitative features (Q2064516) (← links)
- Decision problems in a logic for reasoning about reconfigurable distributed systems (Q2104556) (← links)
- Verification of component-based systems with recursive architectures (Q2699967) (← links)
- (Q5028448) (← links)
- Modelling Uncertainty in Architectures of Parametric Component-Based Systems (Q6072401) (← links)
- Fuzzy Propositional Configuration Logics (Q6072402) (← links)