T. S. Nain

According to our database, T. S. Nain authored at least 3 papers between 1991 and 1992.

Collaborative distances:

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

1992

EPVD: An interactive protocol specification and validation environment in Estelle formal specification.

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

Microprocess. Microprogramming, 1992

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