Pages that link to "Item:Q5897127"
From MaRDI portal
The following pages link to Formal Methods for Components and Objects (Q5897127):
Displaying 5 items.
- Associative composition of components with double-sided interfaces (Q1733102) (← links)
- A calculus for reasoning about software composition (Q1770365) (← links)
- A coordination approach to mobile components (Q1770368) (← links)
- A perspective on service orchestration (Q2389337) (← links)
- Robustness in Interaction Systems (Q3612362) (← links)
