Pages that link to "Item:Q520240"
From MaRDI portal
The following pages link to An empirical comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systems (Q520240):
Displaying 4 items.
- Specification and verification of a dynamic reconfiguration protocol for agent-based applications (Q2758935) (← links)
- Research on the dynamic reconfiguration of Web application using two-phase compatibility verification (Q2874308) (← links)
- How to capture dynamic behaviours of dependable systems (Q3625236) (← links)
- A quantitative inherent reconfiguration theory for a class of systems† (Q4724492) (← links)