-
Combined CAC and forced handoff for mobile network performability
International audience -
Formal approaches for performability analysis of communicating systems : an a...
We are interested in analyzing the performability requirements of mobile communication systems by using model checking techniques. We model these systems using a... -
Web service availability--impact of error recovery and traffic model
International audience
