Proof of fault coverage for a formal protocol test procedure.
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 |
Similar Items
-
Fault Coverage of Protocol Software Testing
by: Yu-Lin-Chen, et al.
Published: (2001) -
Formal verification of a proof procedure for the description logic ALC
by: Martin Strecker, et al.
Published: (2013-07-01) -
Formal Proofs for Nonlinear Optimization
by: Victor Magron, et al.
Published: (2015-01-01) -
Contributions of formal security proofs
by: Pancho, Susan B.
Published: (2003) -
A formal protocol test procedure for the Survivable Adaptable Fiber Optic Embedded Network (SAFENET)
by: High, Wayne
Published: (2014)