The following pages link to SPEED (Q20658):
Displaying 5 items.
- Integrating deployment architectures and resource consumption in timed object-oriented models (Q478391) (← links)
- Resource-usage-aware configuration in software product lines (Q898611) (← links)
- Numerical modeling of seismic waves by discontinuous spectral element methods (Q4615439) (← links)
- Convex Invariant Refinement by Control Node Splitting: a Heuristic Approach (Q5170180) (← links)
- Automated Termination Analysis of Java Bytecode by Term Rewriting (Q5389149) (← links)
