Ting-Kau Leung

According to our database¹, Ting-Kau Leung authored at least 3 papers between 1988 and 1989.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

1989

Formal Methods for Protocol Testing: A Detailed Study.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1989

1988

Experience with test generation for real protocols.

[BibT_eX]

[DOI]

Proceedings of the ACM Symposium on Communications Architectures and Protocols, 1988

Fault coverage of protocol test methods.

[BibT_eX]

[DOI]

Proceedings of the Seventh Annual Joint Conference of the IEEE Computer and Communcations Societies. Networks: Evolution or Revolution?, 1988