Multiple Fault Diagnostics for Communication Protocol
碩士 === 國立清華大學 === 資訊科學學系 === 82 === Consider a protocol specification S and a faulty implementa- tion I, the objective of diagnostic testing is to locate the faults of I. Recently, A. Ghedamsi et al. proposed a 3-phase method for diagnosti...
| Main Authors: | , |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | en_US |
| Published: |
1994
|
| Online Access: | http://ndltd.ncl.edu.tw/handle/34623031048809166600 |