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