Pages that link to "Item:Q736458"
From MaRDI portal
The following pages link to A general framework for architecture composability (Q736458):
Displaying 7 items.
- A general framework for architecture composability (Q736458) (← links)
- Weighted propositional configuration logics: a specification language for architectures with quantitative features (Q2064516) (← links)
- SMT-based generation of symbolic automata (Q2182674) (← links)
- Expressiveness of component-based frameworks: a study of the expressiveness of BIP (Q2216474) (← links)
- Automatic construction of systems of distributed components from nested Petri nets models (Q2216722) (← links)
- (Q4284990) (← links)
- (Q4791863) (← links)