Browsing by Author Fairbairn, Matthew
Showing results 1 to 2 of 2
Engineering with logic: HOL specification and symbolic-evaluation testing for TCP implementations
Author(s) | Bishop, Steve; Fairbairn, Matthew; Norrish, Michael, et al |
---|---|
Type | Conference paper |
Date Published | 2006 |
Date Created | January 11-13 2006 |
Rigorous specification and conformance testing techniques for network protocols, as applied to TCP, UDP, and sockets
Author(s) | Bishop, Steve; Fairbairn, Matthew; Norrish, Michael, et al |
---|---|
Type | Journal article |
Date Published | 2005 |
Date Created | - |
- previous
- 1
- next
Updated: 12 April 2016/ Responsible Officer: University Librarian/ Page Contact: Library Systems & Web Coordinator