T. S. Nain

Publication Activity (10 Years)

Years Active: 1991-1992
Publications (10 Years): 0

Publications

K. C. Huang, T. S. Nain, W. S. Hsieh, C. S. Yang, C. S. Lu
EPVD: An interactive protocol specification and validation environment in Estelle formal specification. Microprocess. Microprogramming 35 (1-5) (1992)
W. S. Hsieh, T. S. Nain, M. S. Yang, C. S. Lu, K. C. Huang, J. R. Tseng
A fast method of protocol validation using reduced stable state exploration technique. Microprocessing and Microprogramming 32 (1-5) (1991)
K. C. Huang, W. S. Hsieh, C. S. Lu, M. S. Yang, T. S. Nain, Ihnen Lin
Implementation and design of PVD: An interactive protocol specification and validation environment. Microprocessing and Microprogramming 32 (1-5) (1991)