Pages that link to "Item:Q5897123"
From MaRDI portal
The following pages link to Formal Methods for Components and Objects (Q5897123):
Displaying 9 items.
- Norm-based mechanism design (Q322076) (← links)
- Threaded behavior protocols (Q470016) (← links)
- A coordination approach to mobile components (Q1770368) (← links)
- Abstract behavior types: a foundation model for components and their composition (Q1776573) (← links)
- A perspective on service orchestration (Q2389337) (← links)
- Symbolic model checking for channel-based component connectors (Q2389338) (← links)
- Robustness in Interaction Systems (Q3612362) (← links)
- Algebraic Methodology and Software Technology (Q5313011) (← links)
- Objects, Agents, and Features (Q5713981) (← links)