P. Leelaprute, M. Nakamura, T. Tsuchiya, K. Matsumoto, and T. Kikuno, "Describing and Verifying Integrated Services of Home Network Systems," In Proc. of 12th Asia-Pacific Software Engineering Conference (APSEC 2005), pp. 549-558 December 2005.
ID 360
分類 国際会議
タグ describing home integrated network services systems verifying
表題 (title) Describing and Verifying Integrated Services of Home Network Systems
表題 (英文)
著者名 (author) Pattara Leelaprute,Masahide Nakamura,Tatsuhiro Tsuchiya,Ken-ichi Matsumoto,Tohru Kikuno
英文著者名 (author)
編者名 (editor)
編者名 (英文)
キー (key)
書籍・会議録表題 (booktitle) Proc. of 12th Asia-Pacific Software Engineering Conference (APSEC 2005)
書籍・会議録表題(英文)
巻数 (volume)
号数 (number)
ページ範囲 (pages) 549-558
組織名 (organization) IEEE
出版元 (publisher) IEEE Computer Society
出版元 (英文)
出版社住所 (address)
刊行月 (month) 12
出版年 (year) 2005
採択率 (acceptance)
URL
付加情報 (note) Taipei, Taiwan
注釈 (annote)
内容梗概 (abstract)
論文電子ファイル 141.pdf (application/pdf) [一般閲覧可]
BiBTeXエントリ
@inproceedings{id360,
         title = {Describing and Verifying Integrated Services of Home Network Systems},
        author = {Pattara Leelaprute and Masahide Nakamura and Tatsuhiro Tsuchiya and Ken-ichi Matsumoto and Tohru Kikuno},
     booktitle = {Proc. of 12th Asia-Pacific Software Engineering Conference (APSEC 2005)},
         pages = {549-558},
    organization = {IEEE},
     publisher = {IEEE Computer Society},
         month = {12},
          year = {2005},
          note = {Taipei, Taiwan},
}