SEL@KIT: E. Choi, T. Ando, H. Nishihara, M. Aoki, K. Yoshisaka, T. Sonoda, S. Hasuike, and O. Mizuno, Sens - Specification Language for Embedded Network Systems - Toward Automatic Test Generation (Preliminary Version), August 2011.
  • リスト
  •  表 
  • LaTeX
  • BibTeX
  • 統計情報
Detail view
Tweet
E. Choi, T. Ando, H. Nishihara, M. Aoki, K. Yoshisaka, T. Sonoda, S. Hasuike, and O. Mizuno, "Sens - Specification Language for Embedded Network Systems - Toward Automatic Test Generation (Preliminary Version)," PS-2011-002, Collaborative Research Team for Verification and Specification, National Institute of Advanced Industrial Science and Technology, August 2011.
ID 650
分類 テクニカルレポート
タグ automatic embedded generation language network preliminary sens specification systems test toward version
表題 (title) Sens - Specification Language for Embedded Network Systems - Toward Automatic Test Generation (Preliminary Version)
表題 (英文)
著者名 (author) Eun-Hye Choi,Takahiro Ando,Hideaki Nishihara,Masahiro Aoki,Keiichi Yoshisaka,Takao Sonoda,Shouichi Hasuike,Osamu Mizuno
英文著者名 (author) Eun-Hye Choi,Takahiro Ando,Hideaki Nishihara,Masahiro Aoki,Keiichi Yoshisaka,Takao Sonoda,Shouichi Hasuike,Osamu Mizuno
キー (key) Eun-Hye Choi,Takahiro Ando,Hideaki Nishihara,Masahiro Aoki,Keiichi Yoshisaka,Takao Sonoda,Shouichi Hasuike,Osamu Mizuno
号数 (number) PS-2011-002
技術報告書の種別 (type)
発行元組織 (organization) Collaborative Research Team for Verification and Specification, National Institute of Advanced Industrial Science and Technology
出版社住所 (address)
刊行月 (month) 8
出版年 (year) 2011
URL http://cfv.jp/cvs/introduction/pdf/PS2011-002.pdf
付加情報 (note)
注釈 (annote)
内容梗概 (abstract)
論文電子ファイル 利用できません.
BiBTeXエントリ
@techreport{id650,
         title = {SENS - Specification Language for Embedded Network Systems - toward Automatic Test Generation (Preliminary Version)},
        author = {Eun-Hye Choi and Takahiro Ando and Hideaki Nishihara and Masahiro Aoki and Keiichi Yoshisaka and Takao Sonoda and Shouichi Hasuike and Osamu Mizuno},
        number = {PS-2011-002},
    institution = {Collaborative Research Team for Verification and Specification, National Institute of Advanced Industrial Science and Technology},
         month = {8},
          year = {2011},
}
  

Search

Tags

1 件の該当がありました. : このページのURL : HTML : RSS : XML

Language: 英語 | 日本語 || ログイン |

This site is maintained by o-mizuno.
PMAN 3.2.10 build 20181029 - Paper MANagement system / (C) 2002-2016, Osamu Mizuno
Time to show this page: 0.356996 seconds.