Pages that link to "Item:Q2758935"
From MaRDI portal
The following pages link to Specification and verification of a dynamic reconfiguration protocol for agent-based applications (Q2758935):
Displaying 4 items.
- An empirical comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systems (Q520240) (← links)
- Formal specification and verification of dynamic parametrized architectures (Q2024379) (← links)
- Research on the dynamic reconfiguration of Web application using two-phase compatibility verification (Q2874308) (← links)
- (Q4473435) (← links)