Proof of fault coverage for a formal protocol test procedure
Contributors: Lundy, G. M.
Publisher: Naval Postgraduate School; Available from National Technical Information Service
Published: 1992
Place of publication: Monterey, Calif; Springfield,    Va
Language: eng
Number of pages: 50
Notes: Thesis advisor, G.M. Lundy.

AD-A261 612.

Thesis (M.S. in Computer Science) Naval Postgraduate School, Dec. 1992.

Bibliography: p. 48-49.