Formal Specification and Verification of TCP Extended with the Window Scale Option.
| Autor: | Lockefeer, Lars, Williams, David M., Fokkink, Wan J. |
|---|---|
| Zdroj: | Formal Methods for Industrial Critical Systems: 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014. Proceedings; 2014, p63-77, 15p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|