Pages that link to "Item:Q5403078"
From MaRDI portal
The following pages link to Behaviour, Interaction and Dynamics (Q5403078):
Displaying 4 items.
- Formal specification and verification of dynamic parametrized architectures (Q2024379) (← links)
- Functional BIP: embedding connectors in functional programming languages (Q2403817) (← links)
- A Normal Form for Stateful Connectors (Q2945707) (← links)
- A Theory Agenda for Component-Based Design (Q5256362) (← links)
