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, Jenq-Muh Hsu, Huei-Yang Lai: A modified transition tour protocol test method. Journal of Systems Integration 4(3): 257-300 (1994) |
1 | Jenq-Muh Hsu | [1] |
2 | Chung-Ming Huang | [1] [2] |
3 | Duen-Tay Huang | [2] |