| |
| 1996 | ||
|---|---|---|
| 3 | EE | Chung-Ming Huang, Jenq-Muh Hsu, Shiun-Wei Lee: Probabilistic fuzzy timed protocol verification. Computer Communications 19(5): 407-425 (1996) |
| 1995 | ||
| 2 | EE | Chung-Ming Huang, Jenq-Muh Hsu, Shiun-Wei Lee: ECFSM-Based Probabilistic Protocol Verification. Inf. Process. Lett. 55(1): 1-9 (1995) |
| 1994 | ||
| 1 | Chung-Ming Huang, Shiun-Wei Lee, Jenq-Muh Hsu: Probabilistic Timed Protocol Verification for the Extended State Transition Model. ICPADS 1994: 432-437 | |
| 1 | Jenq-Muh Hsu | [1] [2] [3] |
| 2 | Chung-Ming Huang | [1] [2] [3] |