Proof of fault coverage for a formal protocol test procedure.
Main Author: | |
---|---|
Other Authors: | |
Language: | en_US |
Published: |
Monterey, California. Naval Postgraduate School
2012
|
Online Access: | http://hdl.handle.net/10945/24016 |
id |
ndltd-nps.edu-oai-calhoun.nps.edu-10945-24016 |
---|---|
record_format |
oai_dc |
spelling |
ndltd-nps.edu-oai-calhoun.nps.edu-10945-240162014-11-27T16:15:38Z Proof of fault coverage for a formal protocol test procedure. Randall, Michael Alan. Lundy, G.M. NA NA NA NA 2012-11-29T16:19:07Z 2012-11-29T16:19:07Z 1992 Thesis http://hdl.handle.net/10945/24016 o640389587 en_US Monterey, California. Naval Postgraduate School |
collection |
NDLTD |
language |
en_US |
sources |
NDLTD |
author2 |
Lundy, G.M. |
author_facet |
Lundy, G.M. Randall, Michael Alan. |
author |
Randall, Michael Alan. |
spellingShingle |
Randall, Michael Alan. Proof of fault coverage for a formal protocol test procedure. |
author_sort |
Randall, Michael Alan. |
title |
Proof of fault coverage for a formal protocol test procedure. |
title_short |
Proof of fault coverage for a formal protocol test procedure. |
title_full |
Proof of fault coverage for a formal protocol test procedure. |
title_fullStr |
Proof of fault coverage for a formal protocol test procedure. |
title_full_unstemmed |
Proof of fault coverage for a formal protocol test procedure. |
title_sort |
proof of fault coverage for a formal protocol test procedure. |
publisher |
Monterey, California. Naval Postgraduate School |
publishDate |
2012 |
url |
http://hdl.handle.net/10945/24016 |
work_keys_str_mv |
AT randallmichaelalan proofoffaultcoverageforaformalprotocoltestprocedure |
_version_ |
1716724408184209408 |