CS27 業績リスト

Search this article in Google Scholar


分類 論文誌
著者名 (author) Lydie du-Bousquet,Masahide Nakamura,Ben Yan,Hiroshi Igaki
英文著者名 (author)
キー (key) Lydie du Bousquet, Masahide Nakamura, Ben Yan, Hiroshi Igaki
表題 (title) Using formal methods to increase confidence in a home network system implementation: A case study
表題 (英文)
定期刊行物名 (journal) Innovations in Systems and Software Engineering (ISSE Journal), Springer
定期刊行物名 (英文)
巻数 (volume) 5
号数 (number) 3
ページ範囲 (pages) 181-196
刊行月 (month) September
出版年 (year) 2009
付加情報 (note)
注釈 (annote)
内容梗概 (abstract)
論文電子ファイル


[1-92]  Lydie du-Bousquet, Masahide Nakamura, Ben Yan, and Hiroshi Igaki, ``Using Formal Methods to Increase Confidence in a Home Network System Implementation: a Case Study,'' Innovations in Systems and Software Engineering (ISSE Journal), Springer, vol.5, no.3, pp.181-196, September 2009.

@article{1_92,
    author = {Lydie du-Bousquet and Masahide Nakamura and Ben Yan and Hiroshi
    Igaki},
    author_e = {},
    title = {Using formal methods to increase confidence in a home network
    system implementation: A case study},
    title_e = {},
    journal = {Innovations in Systems and Software Engineering (ISSE Journal),
    Springer},
    journal_e = {},
    volume = {5},
    number = {3},
    pages = {181-196},
    month = {September},
    year = {2009},
    note = {},
    annote = {}
}

This site is maintained by webadmin.

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