WEKO3
アイテム
B-030 待ち行列理論による抽象化を用いたモデル検査手法の検討(テスト・検証・解析,B分野:ソフトウェア)
https://ipsj.ixsq.nii.ac.jp/records/151449
https://ipsj.ixsq.nii.ac.jp/records/151449189159a3-2a1d-4989-b8bc-b8c8d7235792
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
KJ00008742375.pdf (358.1 kB)
|
Copyright (c) 2012 by IEICE,IPSJ
|
| Item type | FIT(1) | |||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2012-09-04 | |||||||||||
| タイトル | ||||||||||||
| タイトル | B-030 待ち行列理論による抽象化を用いたモデル検査手法の検討(テスト・検証・解析,B分野:ソフトウェア) | |||||||||||
| タイトル | ||||||||||||
| 言語 | en | |||||||||||
| タイトル | B-030 Study of Model Checking by Using Abstraction Based on Queueing Theory | |||||||||||
| 言語 | ||||||||||||
| 言語 | jpn | |||||||||||
| 資源タイプ | ||||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_5794 | |||||||||||
| 資源タイプ | conference paper | |||||||||||
| 著者所属 | ||||||||||||
| 株式会社日立製作所横浜研究所 | ||||||||||||
| 著者所属 | ||||||||||||
| 株式会社日立製作所横浜研究所 | ||||||||||||
| 著者所属 | ||||||||||||
| 株式会社日立製作所横浜研究所 | ||||||||||||
| 著者所属(英) | ||||||||||||
| en | ||||||||||||
| Yokohama Research Laboratory, Hitachi Ltd. | ||||||||||||
| 著者所属(英) | ||||||||||||
| en | ||||||||||||
| Yokohama Research Laboratory, Hitachi Ltd. | ||||||||||||
| 著者所属(英) | ||||||||||||
| en | ||||||||||||
| Yokohama Research Laboratory, Hitachi Ltd. | ||||||||||||
| 著者名 |
大林, 浩気
× 大林, 浩気
× 長野, 岳彦
× 茂岡, 知彦
|
|||||||||||
| 著者名(英) |
Ohbayashi, Hiroki
× Ohbayashi, Hiroki
× Nagano, Takehiko
× Shigeoka, Tomohiko
|
|||||||||||
| 書誌レコードID | ||||||||||||
| 収録物識別子タイプ | NCID | |||||||||||
| 収録物識別子 | AA1242354X | |||||||||||
| 書誌情報 |
情報科学技術フォーラム講演論文集 巻 11, 号 1, p. 239-240, 発行日 2012-09-04 |
|||||||||||
| 出版者 | ||||||||||||
| 言語 | ja | |||||||||||
| 出版者 | 情報処理学会 | |||||||||||
