Pages that link to "Item:Q6488473"
From MaRDI portal
The following pages link to Dynamic Reconfiguration via Typed Modalities (Q6488473):
Displaying 6 items.
- An empirical comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systems (Q520240) (← links)
- Specification of systems with parameterised events: An institution-independent approach (Q2168786) (← links)
- (Q3747165) (← links)
- (Q4251112) (← links)
- Type-based hot swapping of running modules (extended abstract) (Q5177998) (← links)
- SpeX: a rewriting-based formal specification environment (Q6562521) (← links)