Proof of fault coverage for a formal protocol test procedure.

Bibliographic Details
Main Author: Randall, Michael Alan.
Other Authors: Lundy, G.M.
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