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

researchr

You are not signed in
Sign in
Sign up

Steve Bishop, Matthew Fairbairn, Michael Norrish, Peter Sewell, Michael Smith, Keith Wansbrough. Rigorous specification and conformance testing techniques for network protocols, as applied to TCP, UDP, and sockets. In Roch Guérin, Ramesh Govindan, Greg Minshall, editors, Proceedings of the ACM SIGCOMM 2005 Conference on Applications, Technologies, Architectures, and Protocols for Computer Communications, Philadelphia, Pennsylvania, USA, August 22-26, 2005. pages 265-276, ACM, 2005. [doi]

This author has not been identified. Look up 'Steve Bishop' in GoogleThis author has not been identified. Look up 'Matthew Fairbairn' in GoogleThis author has not been identified. Look up 'Michael Norrish' in GoogleThis author has not been identified. Look up 'Peter Sewell' in GoogleThis author has not been identified. Look up 'Michael Smith' in GoogleThis author has not been identified. Look up 'Keith Wansbrough' in Google

runs on WebDSL