Pages that link to "Item:Q5170744"
From MaRDI portal
The following pages link to Programming and Verifying Component Ensembles (Q5170744):
Displaying 5 items.
- A formal approach to the engineering of domain-specific distributed systems (Q2291825) (← links)
- Model-Checking Helena Ensembles with Spin (Q2945715) (← links)
- (Q2980974) (← links)
- Programming Autonomic Systems with Multiple Constraint Stores (Q5256375) (← links)
- Automatic Moment-Closure Approximation of Spatially Distributed Collective Adaptive Systems (Q5270685) (← links)
