Applying Model Checking to Detect Feature Interactions in Telecommunication System
碩士 === 國立交通大學 === 資訊工程系 === 90 === Feature interaction is a common problem in telecommunication system. Feature interaction occurs when the operation of one service interferes with operations of the other services. As the rapid increment of new services in the system, the probability for feature int...
| Main Authors: | , |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | zh-TW |
| Published: |
2002
|
| Online Access: | http://ndltd.ncl.edu.tw/handle/08655057340402124833 |