田中俊彰, 長岡武志, 岡野浩三, 楠本真二, "実時間システムを対象としたCEGARによる抽象洗練の並列化手法," 電子情報通信学会信学技報, 110(169), pp. 35-40 2010年.
ID 131
分類 研究会・全国大会等
タグ cegar uppaal
表題 (title) 実時間システムを対象としたCEGARによる抽象洗練の並列化手法
表題 (英文) Reachability Analysis for Timed Systems Using Parallel Processing
著者名 (author) 田中俊彰,長岡武志,岡野浩三,楠本真二
英文著者名 (author) Toshiaki Tanaka,Takeshi Nagaoka,Kozo Okano,Shinji Kusumoto
編者名 (editor)
編者名 (英文)
キー (key) Toshiaki Tanaka,Takeshi Nagaoka,Kozo Okano,Shinji Kusumoto
書籍・会議録表題 (booktitle) 電子情報通信学会信学技報
書籍・会議録表題(英文)
巻数 (volume) 110
号数 (number) 169
ページ範囲 (pages) 35-40
組織名 (organization)
出版元 (publisher)
出版元 (英文)
出版社住所 (address)
刊行月 (month) 0
出版年 (year) 2010
採択率 (acceptance)
URL
付加情報 (note)
注釈 (annote)
内容梗概 (abstract)
論文電子ファイル SIGSS201008tstanaka-final.pdf (application/pdf) [一般閲覧可]
BiBTeXエントリ
@inproceedings{id131,
         title = {実時間システムを対象としたCEGARによる抽象洗練の並列化手法},
        author = {田中俊彰 and 長岡武志 and 岡野浩三 and 楠本真二},
     booktitle = {電子情報通信学会信学技報},
        volume = {110},
        number = {169},
         pages = {35-40},
         month = {0},
          year = {2010},
}