Login / Signup
Parameter Dependencies for Component Reliability Specifications.
Heiko Koziolek
Franz Brosch
Published in:
Electron. Notes Theor. Comput. Sci. (2009)
Keyphrases
</>
control flow
dependency analysis
high level
expert systems
execution traces
case study
parameter space
data flow
delay insensitive
single parameter
highly reliable
formal specification
finite state machines
real time
parameter values
evolutionary algorithm
social networks
search engine