CS27 業績リスト

Search this article in Google Scholar


分類 国際会議
著者名 (author) Tomoyuki Yokogawa,Tatsuhiro Tsuchiya,Masahide Nakamura,Tohru Kikuno
英文著者名 (author)
編者名 (editor)
編者名 (英文)
キー (key) Tomoyuki Yokogawa, Tatsuhiro Tsuchiya, Masahide Nakamura, Tohru Kikuno
表題 (title) Detecting feature interactions in telecommunication services by bounded model checking
表題 (英文)
書籍・会議録表題 (booktitle) Proc. 2003 International Technical Conference on Circuits/Systems
書籍・会議録表題(英文)
巻数 (volume) Computers and Communications (ITC-CSCC2003)
号数 (number) 3
ページ範囲 (pages) 1807--1810
組織名 (organization)
出版元 (publisher)
出版元 (英文)
出版社住所 (address)
刊行月 (month) July
出版年 (year) 2003
付加情報 (note) Phoenix Park, Ireland
注釈 (annote)
内容梗概 (abstract)
論文電子ファイル


[10-68]  Tomoyuki Yokogawa, Tatsuhiro Tsuchiya, Masahide Nakamura, and Tohru Kikuno, ``Detecting Feature Interactions in Telecommunication Services by Bounded Model Checking,'' In Proc. 2003 International Technical Conference on Circuits/Systems, vol.Computers and Communications (ITC-CSCC2003), no.3, pp.1807--1810, July 2003. (Phoenix Park, Ireland)

@inproceedings{10_68,
    author = {Tomoyuki Yokogawa and Tatsuhiro Tsuchiya and Masahide Nakamura and
    Tohru Kikuno},
    author_e = {},
    editor = {},
    editor_e = {},
    title = {Detecting feature interactions in telecommunication services by
    bounded model checking},
    title_e = {},
    booktitle = {Proc. 2003 International Technical Conference on Circuits/
    Systems},
    booktitle_e = {},
    volume = {Computers and Communications (ITC-CSCC2003)},
    number = {3},
    pages = {1807--1810},
    organization = {},
    publisher = {},
    publisher_e = {},
    address = {},
    month = {July},
    year = {2003},
    note = {Phoenix Park, Ireland},
    annote = {}
}

This site is maintained by webadmin.

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