L. du Bousquet, M. Nakamura, B. Yan, and H. 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.
ID 530
分類 国際会議
タグ case confidence formal home implementation increase methods network study system
表題 (title) Using Formal Methods to Increase Confidence in a Home Network System Implementation, Case Study
表題 (英文)
著者名 (author) Lydie du Bousquet,Masahide Nakamura,Ben Yan,Hiroshi Igaki
英文著者名 (author)
編者名 (editor)
編者名 (英文)
キー (key) Lydie du Bousquet, Masahide Nakamura, Ben Yan, Hiroshi Igaki
書籍・会議録表題 (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) 12
出版年 (year) 2007
採択率 (acceptance)
URL
付加情報 (note) Poitiers, France
注釈 (annote)
内容梗概 (abstract)
論文電子ファイル 280.pdf (application/pdf) [一般閲覧可]
BiBTeXエントリ
@inproceedings{id530,
         title = {Using Formal Methods to Increase Confidence in a Home Network System Implementation, Case study },
        author = {Lydie du Bousquet and Masahide Nakamura and Ben Yan and Hiroshi Igaki},
     booktitle = {2007 ISoLA Workshop On Leveraging Applications of Formal Methods, Verification and Validation (ISOLA 2007)},
         pages = {203-214},
     publisher = {Ce'padue`s},
       address = {Poitiers, France},
         month = {12},
          year = {2007},
          note = {Poitiers, France},
}