Pages that link to "Item:Q3593075"
From MaRDI portal
The following pages link to Ensuring Properties of Interaction Systems (Q3593075):
Displaying 5 items.
- Rigorous development of component-based systems using component metadata and patterns (Q333322) (← links)
- Deadlock-freedom in component systems with architectural constraints (Q2441719) (← links)
- Robustness in Interaction Systems (Q3612362) (← links)
- Cross-Checking - Enhanced Over-Approximation of the Reachable Global State Space of Component-Based Systems (Q3646263) (← links)
- Everything Is PSPACE-Complete in Interaction Systems (Q5505604) (← links)
