Huei-Yang Lai

According to our database, Huei-Yang Lai authored at least 5 papers between 1993 and 1997.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

1997

An Estelle-Based Incremental Protocol Design System.

Chung-Ming Huang, Jenq-Muh Hsu, Huei-Yang Lai, Duen-Tay Huang, Jao-Chiang Pong

J. Syst. Softw., 1997

1996

A Mulit-Event-One-Transition Plus Incremental Processing Protocol Verification Method.

Chung-Ming Huang, Huei-Yang Lai, Duen-Tay Huang

J. Inf. Sci. Eng., 1996

1995

Integrated FDT-based protocol verification system.

Chung-Ming Huang, Jenq-Muh Hsu, Huei-Yang Lai, Duen-Tay Huang

Softw. Eng. J., 1995

1994

A modified transition tour protocol test method.

Chung-Ming Huang, Jenq-Muh Hsu, Huei-Yang Lai

J. Syst. Integr., 1994

1993

An Estelle interpreter for incremental protocol verification.

Chung-Ming Huang, Jenq-Muh Hsu, Huei-Yang Lai, Jao-Chiang Pong, Duen-Tay Huang

Proceedings of the 1993 International Conference on Network Protocols, 1993