T. Matsuo, P. Leelaprute, T. Tsuchiya, T. Kikuno, M. Nakamura, H. Igaki, and K. Matsumoto, "Automatically Verifying Integrated Services in Home Network Systems," In International Technical Conference on Circuits/Systems, Computers and Communications (ITC-CSCC2006), II, pp. 173-176 July 2006.
ID 419
分類 国際会議
タグ automatically home integrated network services systems verifying
表題 (title) Automatically Verifying Integrated Services in Home Network Systems
表題 (英文)
著者名 (author) Takafumi Matsuo,Pattara Leelaprute,Tatsuhiro Tsuchiya,Tohru Kikuno,Masahide Nakamura,Hiroshi Igaki,Ken-ichi Matsumoto
英文著者名 (author)
編者名 (editor)
編者名 (英文)
キー (key)
書籍・会議録表題 (booktitle) International Technical Conference on Circuits/Systems, Computers and Communications (ITC-CSCC2006)
書籍・会議録表題(英文)
巻数 (volume) II
号数 (number)
ページ範囲 (pages) 173-176
組織名 (organization)
出版元 (publisher)
出版元 (英文)
出版社住所 (address)
刊行月 (month) 7
出版年 (year) 2006
採択率 (acceptance)
URL
付加情報 (note) Chiang Mai, Thailand
注釈 (annote)
内容梗概 (abstract)
論文電子ファイル 206.pdf (application/pdf) [一般閲覧可]
BiBTeXエントリ
@inproceedings{id419,
         title = {Automatically Verifying Integrated Services in Home Network Systems},
        author = {Takafumi Matsuo and Pattara Leelaprute and Tatsuhiro Tsuchiya and Tohru Kikuno and Masahide Nakamura and Hiroshi Igaki and Ken-ichi Matsumoto},
     booktitle = {International Technical Conference on Circuits/Systems, Computers and Communications (ITC-CSCC2006)},
        volume = {II},
         pages = {173-176},
         month = {7},
          year = {2006},
          note = {Chiang Mai, Thailand},
}