- Tytuł:
- Model Checking Optimisation Based Congestion Control Algorithms
- Autorzy:
-
Lomuscio, A.
Strulo, B.
Walker, N.G.
Wu, P. - Data publikacji:
- 2010
- Słowa kluczowe:
-
model checking
distributed optimisation
congestion control
convergence - Pokaż więcej
- Dostawca treści:
- BazTech