Rigorous specification and conformance testing techniques for network protocols, as applied to TCP, UDP, and sockets

Citation

Bishop, S, Fairbairn, M, Norrish, M et al 2005, 'Rigorous specification and conformance testing techniques for network protocols, as applied to TCP, UDP, and sockets', SIGCOMM Computer Communications Review, vol. 35, no. 4, pp. 265-276.

Year

2005

ANU Authors

Field of Research

  • Computational Logic And Formal Languages

Updated:  15 April 2021 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers