金川, "組込みシステムにおける外部環境分析と形式手法の適用," 第9回 組込みシステム技術に関するサマーワークショップ SWEST9, ポスター発表, pp. 61-64, 2007年.
ID 219
分類 研究会・全国大会等
タグ 組込みシステムにおける外部環境分析と形式手法の適用
表題 (title) 組込みシステムにおける外部環境分析と形式手法の適用
表題 (英文) 組込みシステムにおける外部環境分析と形式手法の適用
著者名 (author) 金川 太俊
英文著者名 (author) Hirotoshi Kanagawa
編者名 (editor)
編者名 (英文)
キー (key)
書籍・会議録表題 (booktitle) 第9回 組込みシステム技術に関するサマーワークショップ SWEST9, ポスター発表
書籍・会議録表題(英文)
巻数 (volume)
号数 (number)
ページ範囲 (pages) 61-64
組織名 (organization)
出版元 (publisher)
出版元 (英文)
出版社住所 (address)
刊行月 (month) 0
出版年 (year) 2007
採択率 (acceptance)
URL
付加情報 (note) プレゼンテーション章受章
注釈 (annote)
内容梗概 (abstract)
論文電子ファイル 利用できません.
BiBTeXエントリ
@inproceedings{id219,
         title = {組込みシステムにおける外部環境分析と形式手法の適用},
        author = {金川 太俊},
     booktitle = {第9回 組込みシステム技術に関するサマーワークショップ SWEST9, ポスター発表},
         pages = {61-64},
         month = {0},
          year = {2007},
          note = {プレゼンテーション章受章},
}