T. Hamada, T. Tsuchiya, M. Nakamura, and T. Kikuno, "Detecting Feature Interactions in Telecommunication Systems by Symbolic Model Checking," In 16th International Conference on Information Networking (ICOIN-16), 8B2.1-2.11 January 2002.
ID 241
分類 国際会議
タグ checking detecting feature interactions model symbolic systems telecommunication
表題 (title) Detecting Feature Interactions in Telecommunication Systems by Symbolic Model Checking
表題 (英文)
著者名 (author) Takayuki Hamada,Tatsuhiro Tsuchiya,Masahide Nakamura,Tohru Kikuno
英文著者名 (author)
編者名 (editor)
編者名 (英文)
キー (key) Takayuki Hamada, Tatsuhiro Tsuchiya, Masahide Nakamura, Tohru Kikuno
書籍・会議録表題 (booktitle) 16th International Conference on Information Networking (ICOIN-16)
書籍・会議録表題(英文)
巻数 (volume)
号数 (number)
ページ範囲 (pages) 8B2.1-2.11
組織名 (organization)
出版元 (publisher)
出版元 (英文)
出版社住所 (address)
刊行月 (month) 1
出版年 (year) 2002
採択率 (acceptance)
URL
付加情報 (note) Cheju, Korea
注釈 (annote)
内容梗概 (abstract)
論文電子ファイル 204.pdf (application/pdf) [一般閲覧可]
BiBTeXエントリ
@inproceedings{id241,
         title = {Detecting feature interactions in telecommunication systems by symbolic model checking},
        author = {Takayuki Hamada and Tatsuhiro Tsuchiya and Masahide Nakamura and Tohru Kikuno},
     booktitle = {16th International Conference on Information Networking (ICOIN-16)},
         pages = {8B2.1-2.11},
         month = {1},
          year = {2002},
          note = {Cheju, Korea},
}