Pages that link to "Item:Q4647842"
From MaRDI portal
The following pages link to When Structural Refinement of Components Keeps Temporal Properties over Reconfigurations (Q4647842):
Displaying 5 items.
- Synthesizing structural and behavioral control for reconfigurations in component-based systems (Q282089) (← links)
- Concurrency-preserving and sound monitoring of multi-threaded component-based systems: theory, algorithms, implementation, and evaluation (Q1688550) (← links)
- Decision problems in a logic for reasoning about reconfigurable distributed systems (Q2104556) (← links)
- Verification: Theory and Practice (Q5305652) (← links)
- Recent Trends in Algebraic Development Techniques (Q5703986) (← links)