NOTE: This item is not available outside the Texas A&M University network. Texas A&M affiliated users who are off campus can access the item through NetID and password authentication or by using TAMU VPN. Non-affiliated individuals should request a copy through their local library's interlibrary loan service.
On the detectability of test sequences for protocol verification and validation
| dc.creator | Feng, Chao | |
| dc.date.accessioned | 2012-06-07T22:27:00Z | |
| dc.date.available | 2012-06-07T22:27:00Z | |
| dc.date.created | 1992 | |
| dc.date.issued | 1992 | |
| dc.identifier.uri | https://hdl.handle.net/1969.1/ETD-TAMU-1992-THESIS-F332 | |
| dc.description | Due to the character of the original source materials and the nature of batch digitization, quality control issues may be present in this document. Please report any quality issues you encounter to digital@library.tamu.edu, referencing the URI of the item. | en |
| dc.description | Includes bibliographical references. | en |
| dc.description.abstract | Not available | en |
| dc.format.medium | electronic | en |
| dc.format.mimetype | application/pdf | |
| dc.language.iso | en_US | |
| dc.publisher | Texas A&M University | |
| dc.rights | This thesis was part of a retrospective digitization project authorized by the Texas A&M University Libraries in 2008. Copyright remains vested with the author(s). It is the user's responsibility to secure permission from the copyright holder(s) for re-use of the work beyond the provision of Fair Use. | en |
| dc.subject | computer science. | en |
| dc.subject | Major computer science. | en |
| dc.subject.lcsh | Computer network protocols. | en |
| dc.subject.lcsh | Fault location (Engineering) | en |
| dc.title | On the detectability of test sequences for protocol verification and validation | en |
| dc.type | Thesis | en |
| thesis.degree.discipline | computer science | en |
| thesis.degree.name | M.S. | en |
| thesis.degree.level | Masters | en |
| dc.type.genre | thesis | en |
| dc.type.material | text | en |
| dc.format.digitalOrigin | reformatted digital | en |
Files in this item
This item appears in the following Collection(s)
-
Digitized Theses and Dissertations (1922–2004)
Texas A&M University Theses and Dissertations (1922–2004)
Request Open Access
This item and its contents are restricted. If this is your thesis or dissertation, you can make it open-access. This will allow all visitors to view the contents of the thesis.