CS27 業績リスト

Search this article in Google Scholar


分類 国際会議
著者名 (author) Takayuki Hamada,Tatsuhiro Tsuchiya,Masahide Nakamura,Tohru Kikuno
英文著者名 (author)
編者名 (editor)
編者名 (英文)
キー (key) Takayuki Hamada, Tatsuhiro Tsuchiya, Masahide Nakamura, Tohru Kikuno
表題 (title) Detecting feature interactions in telecommunication systems by symbolic model checking
表題 (英文)
書籍・会議録表題 (booktitle) 16th International Conference on Information Networking (ICOIN-16)
書籍・会議録表題(英文)
巻数 (volume)
号数 (number)
ページ範囲 (pages) 8B2.1-2.11
組織名 (organization)
出版元 (publisher)
出版元 (英文)
出版社住所 (address)
刊行月 (month) January
出版年 (year) 2002
付加情報 (note) Cheju, Korea
注釈 (annote)
内容梗概 (abstract)
論文電子ファイル


[10-95]  Takayuki Hamada, Tatsuhiro Tsuchiya, Masahide Nakamura, and Tohru Kikuno, ``Detecting Feature Interactions in Telecommunication Systems by Symbolic Model Checking,'' In 16th International Conference on Information Networking (ICOIN-16), pp.8B2.1-2.11, January 2002. (Cheju, Korea)

@inproceedings{10_95,
    author = {Takayuki Hamada and Tatsuhiro Tsuchiya and Masahide Nakamura and
    Tohru Kikuno},
    author_e = {},
    editor = {},
    editor_e = {},
    title = {Detecting feature interactions in telecommunication systems by
    symbolic model checking},
    title_e = {},
    booktitle = {16th International Conference on Information Networking (ICOIN-
    16)},
    booktitle_e = {},
    volume = {},
    number = {},
    pages = {8B2.1-2.11},
    organization = {},
    publisher = {},
    publisher_e = {},
    address = {},
    month = {January},
    year = {2002},
    note = {Cheju, Korea},
    annote = {}
}

This site is maintained by webadmin.

PMAN 2.5.4 - Paper MANagement system / (C) 2002-2007, Osamu Mizuno / All rights reserved.