CS27 業績リスト

Search this article in Google Scholar


分類 国際会議
著者名 (author) Lydie du-Bousquet,Masahide Nakamura,Ben Yan,Hiroshi Igaki
英文著者名 (author)
編者名 (editor)
編者名 (英文)
キー (key) Lydie du-Bousquet, Masahide Nakamura, Ben Yan, Hiroshi Igaki
表題 (title) Using Formal Methods to Increase Confidence in a Home Network System Implementation, Case study
表題 (英文)
書籍・会議録表題 (booktitle) 2007 ISoLA Workshop On Leveraging Applications of Formal Methods, Verification and Validation (ISOLA 2007)
書籍・会議録表題(英文)
巻数 (volume)
号数 (number)
ページ範囲 (pages) 203-214
組織名 (organization)
出版元 (publisher) Ce'padue`s
出版元 (英文)
出版社住所 (address) Poitiers, France
刊行月 (month) December
出版年 (year) 2007
付加情報 (note) Poitiers, France
注釈 (annote)
内容梗概 (abstract)
論文電子ファイル


[10-142]  Lydie du-Bousquet, Masahide Nakamura, Ben Yan, and Hiroshi Igaki, ``Using Formal Methods to Increase Confidence in a Home Network System Implementation, Case Study,'' In 2007 ISoLA Workshop On Leveraging Applications of Formal Methods, Verification and Validation (ISOLA 2007), pp.203-214, December 2007. (Poitiers, France)

@inproceedings{10_142,
    author = {Lydie du-Bousquet and Masahide Nakamura and Ben Yan and Hiroshi
    Igaki},
    author_e = {},
    editor = {},
    editor_e = {},
    title = {Using Formal Methods to Increase Confidence in a Home Network
    System Implementation, Case study },
    title_e = {},
    booktitle = {2007 ISoLA Workshop On Leveraging Applications of Formal
    Methods, Verification and Validation (ISOLA 2007)},
    booktitle_e = {},
    volume = {},
    number = {},
    pages = {203-214},
    organization = {},
    publisher = {Ce'padue`s},
    publisher_e = {},
    address = {Poitiers, France},
    month = {December},
    year = {2007},
    note = {Poitiers, France},
    annote = {}
}

This site is maintained by webadmin.

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