| |
| 1996 | ||
|---|---|---|
| 3 | Chung-Ming Huang, Ye-In Chang, Duen-Tay Huang: Reverse Protocol Verification: Concept, Algorithm and Application. Comput. J. 39(6): 511-524 (1996) | |
| 2 | EE | Chung-Ming Huang, Huei-Yang Lai, Duen-Tay Huang: A Mulit-Event-One-Transition Plus Incremental Processing Protocol Verification Method. J. Inf. Sci. Eng. 12(2): 215-241 (1996) |
| 1994 | ||
| 1 | EE | Chung-Ming Huang, Ye-In Chang, Duen-Tay Huang: A State-Transition-Based Incremental Protocol Specification. ACM Conference on Computer Science 1994: 30-37 |
| 1 | Ye-In Chang | [1] [3] |
| 2 | Chung-Ming Huang | [1] [2] [3] |
| 3 | Huei-Yang Lai | [2] |