Duen-Tay Huang

According to our database1, Duen-Tay Huang
  • authored at least 7 papers between 1993 and 1997.
  • has a "Dijkstra number"2 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

1997
An Estelle-Based Incremental Protocol Design System.
Journal of Systems and Software, 1997

1996
A Mulit-Event-One-Transition Plus Incremental Processing Protocol Verification Method.
J. Inf. Sci. Eng., 1996

Reverse Protocol Verification: Concept, Algorithm and Application.
Comput. J., 1996

1995
Integrated FDT-based protocol verification system.
Software Engineering Journal, 1995

1994
A State-Transition-Based Incremental Protocol Specification.
Proceedings of the ACM 22rd Annual Computer Science Conference on Scaling up: Meeting the Challenge of Complexity in Real-World Computing Applications, 1994

1993
An Estelle interpreter for incremental protocol verification.
Proceedings of the 1993 International Conference on Network Protocols, 1993

A reduced incremental ECFSM-based protocol verification.
Proceedings of the Seventeenth Annual International Computer Software and Applications Conference, 1993


  Loading...