Shiun-Wei Lee

According to our database, Shiun-Wei Lee authored at least 4 papers between 1994 and 1996.

Collaborative distances:

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

1996

Probabilistic fuzzy timed protocol verification.

Chung-Ming Huang, Jenq-Muh Hsu, Shiun-Wei Lee

Comput. Commun., 1996

1995

ECFSM-Based Probabilistic Protocol Verification.

Chung-Ming Huang, Jenq-Muh Hsu, Shiun-Wei Lee

Inf. Process. Lett., 1995

Timed protocol verification for Estelle-specified protocols.

Chung-Ming Huang, Shiun-Wei Lee

Comput. Commun. Rev., 1995

1994

Probabilistic Timed Protocol Verification for the Extended State Transition Model.

Chung-Ming Huang, Shiun-Wei Lee, Jenq-Muh Hsu

Proceedings of the Proceedings 1994 International Conference on Parallel and Distributed Systems, 1994