長岡武志, 岡野浩三, 楠本真二, "時間オートマトンを対象としたコンポーネント部分合成による抽象化洗練手法の改良," 組込みシステムシンポジウム2008 論文集, 2008(9), pp. 141-150 2008年10月.
ID 45
分類 国内会議(査読付き)
タグ improvement abstraction refinement timed automata partial parallel composition
表題 (title) 時間オートマトンを対象としたコンポーネント部分合成による抽象化洗練手法の改良
表題 (英文) Improvement of Abstraction Refinement for Timed Automata Based on Partial Parallel Composition
著者名 (author) 長岡武志,岡野浩三,楠本真二
英文著者名 (author) Takeshi Nagaoka, Kozo Okano, Shinji Kusumoto
編者名 (editor)
編者名 (英文)
キー (key) Takeshi Nagaoka, Kozo Okano, Shinji Kusumoto
書籍・会議録表題 (booktitle) 組込みシステムシンポジウム2008 論文集
書籍・会議録表題(英文) Embedded Systems Symposium 2008
巻数 (volume) 2008
号数 (number) 9
ページ範囲 (pages) 141-150
組織名 (organization)
出版元 (publisher)
出版元 (英文)
出版社住所 (address)
刊行月 (month) 10
出版年 (year) 2008
採択率 (acceptance)
URL
付加情報 (note)
注釈 (annote)
内容梗概 (abstract)
論文電子ファイル 0 (application/pdf) [一般閲覧可]
BiBTeXエントリ
@inproceedings{id45,
         title = {時間オートマトンを対象としたコンポーネント部分合成による抽象化洗練手法の改良},
        author = {長岡武志 and 岡野浩三 and 楠本真二},
     booktitle = {組込みシステムシンポジウム2008 論文集},
        volume = {2008},
        number = {9},
         pages = {141-150},
         month = {10},
          year = {2008},
}