M. S. Yang

According to our database, M. S. Yang authored at least 2 papers in 1991.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of six.

1991

Implementation and design of PVD: An interactive protocol specification and validation environment.

K. C. Huang, W. S. Hsieh, C. S. Lu, M. S. Yang, T. S. Nain, Ihnen Lin

Microprocessing and Microprogramming, 1991

A fast method of protocol validation using reduced stable state exploration technique.

W. S. Hsieh, T. S. Nain, M. S. Yang, C. S. Lu, K. C. Huang, J. R. Tseng

Microprocessing and Microprogramming, 1991