WEKO3
アイテム
B_025 モデル検査器を用いたFUCEマルチスレッドプログラムの開発(B分野:ソフトウェア)
https://ipsj.ixsq.nii.ac.jp/records/156240
https://ipsj.ixsq.nii.ac.jp/records/156240e2c42b33-0abf-4932-80cd-45da8957bef9
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
KJ00006541803.pdf (173.8 kB)
|
Copyright (c) 2006 by IEICE,IPSJ
|
| Item type | FIT(1) | |||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2006-08-21 | |||||||||||||||
| タイトル | ||||||||||||||||
| タイトル | B_025 モデル検査器を用いたFUCEマルチスレッドプログラムの開発(B分野:ソフトウェア) | |||||||||||||||
| タイトル | ||||||||||||||||
| 言語 | en | |||||||||||||||
| タイトル | B_025 Developing FUCE Multithreaded Program with a Model Checker | |||||||||||||||
| 言語 | ||||||||||||||||
| 言語 | jpn | |||||||||||||||
| 資源タイプ | ||||||||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_5794 | |||||||||||||||
| 資源タイプ | conference paper | |||||||||||||||
| 著者所属 | ||||||||||||||||
| 九州大学 | ||||||||||||||||
| 著者所属 | ||||||||||||||||
| 九州大学:(現)パナソニック(株) | ||||||||||||||||
| 著者所属 | ||||||||||||||||
| 九州大学 | ||||||||||||||||
| 著者所属 | ||||||||||||||||
| 九州大学 | ||||||||||||||||
| 著者所属 | ||||||||||||||||
| 九州大学 | ||||||||||||||||
| 著者所属(英) | ||||||||||||||||
| en | ||||||||||||||||
| Kyushu University | ||||||||||||||||
| 著者所属(英) | ||||||||||||||||
| en | ||||||||||||||||
| Kyushu University:(Present Office)PASITS | ||||||||||||||||
| 著者所属(英) | ||||||||||||||||
| en | ||||||||||||||||
| Kyushu University | ||||||||||||||||
| 著者所属(英) | ||||||||||||||||
| en | ||||||||||||||||
| Kyushu University | ||||||||||||||||
| 著者所属(英) | ||||||||||||||||
| en | ||||||||||||||||
| Kyushu University | ||||||||||||||||
| 著者名 |
越村, 三幸
× 越村, 三幸
× 梅田, 眞由美
× 平兮, 亮
× 藤田, 博
× 長谷川, 隆三
|
|||||||||||||||
| 著者名(英) |
Koshimura, Miyuki
× Koshimura, Miyuki
× Umeda, Mayumi
× Hirana, Ryo
× Fujita, Hiroshi
× Hasegawa, Ryuzo
|
|||||||||||||||
| 書誌レコードID | ||||||||||||||||
| 収録物識別子タイプ | NCID | |||||||||||||||
| 収録物識別子 | AA11740605 | |||||||||||||||
| 書誌情報 |
情報科学技術フォーラム一般講演論文集 巻 5, 号 1, p. 125-126, 発行日 2006-08-21 |
|||||||||||||||
| 出版者 | ||||||||||||||||
| 言語 | ja | |||||||||||||||
| 出版者 | 情報処理学会 | |||||||||||||||
