A model-based end-to-end toolchain for the probabilistic analysis of complex systems.

Alessandro Pinto Sudha Krishnamurthy Suresh Kannan

Published in: CASE (2010)

Keyphrases

end to end
complex systems
dynamic systems
ad hoc networks
congestion control
discrete event systems
multipath
biological systems
content delivery
wireless ad hoc networks