The following pages link to (Q4293540):
Displayed 7 items.
- DSOL: a declarative approach to self-adaptive service orchestrations (Q438997) (← links)
- A document driven methodology for developing a high quality parallel mesh generation toolbox (Q730984) (← links)
- Requirements analysis for engineering computation: a systematic approach for improving reliability (Q858157) (← links)
- A theory of implementation and refinement in timed Petri nets (Q1128980) (← links)
- Hierarchically specified unit disk graphs (Q1269904) (← links)
- Simulation relations for fault-tolerance (Q1688554) (← links)
- Consistent database sampling as a database prototyping approach (Q4794734) (← links)