Pages that link to "Item:Q383353"
From MaRDI portal
The following pages link to Compatibility in a multi-component environment (Q383353):
Displaying 5 items.
- Connecting open systems of communicating finite state machines (Q2011202) (← links)
- A verification-driven framework for iterative design of controllers (Q2335947) (← links)
- Moving from interface theories to assembly theories (Q2340257) (← links)
- (Q4600773) (← links)
- Assembly Theories for Communication-Safe Component Systems (Q5170748) (← links)
