On the Verification and Validation of Protocols with High Fault Coverage Using UIO Sequences

X. Sun, Yinan N. Shen, Fabrizio Lombardi. On the Verification and Validation of Protocols with High Fault Coverage Using UIO Sequences. In SRDS. pages 196-203, 1992.

Authors

X. Sun

This author has not been identified. Look up 'X. Sun' in Google

Yinan N. Shen

This author has not been identified. Look up 'Yinan N. Shen' in Google

Fabrizio Lombardi

This author has not been identified. Look up 'Fabrizio Lombardi' in Google