WEKO3
アイテム
B-012 SPINによる検証支援ツールの開発(ソフトウェア,一般論文)
https://ipsj.ixsq.nii.ac.jp/records/149066
https://ipsj.ixsq.nii.ac.jp/records/1490669e62ea8c-0976-44b8-99d0-1094c361327f
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
KJ00006864722.pdf (207.7 kB)
|
Copyright (c) 2009 by IEICE,IPSJ
|
| Item type | FIT(1) | |||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2009-08-20 | |||||||||||
| タイトル | ||||||||||||
| タイトル | B-012 SPINによる検証支援ツールの開発(ソフトウェア,一般論文) | |||||||||||
| タイトル | ||||||||||||
| 言語 | en | |||||||||||
| タイトル | B-012 Development of Model Checking Tool by SPIN | |||||||||||
| 言語 | ||||||||||||
| 言語 | jpn | |||||||||||
| 資源タイプ | ||||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_5794 | |||||||||||
| 資源タイプ | conference paper | |||||||||||
| 著者所属 | ||||||||||||
| 茨城工業高等専門学校産業技術システムデザイン工学専攻 | ||||||||||||
| 著者所属 | ||||||||||||
| 茨城工業高等専門学校電子情報工学科 | ||||||||||||
| 著者所属 | ||||||||||||
| 茨城工業高等専門学校電子情報工学科 | ||||||||||||
| 著者所属(英) | ||||||||||||
| en | ||||||||||||
| Ibaraki National College of Technology, Advanced Course for Information | ||||||||||||
| 著者所属(英) | ||||||||||||
| en | ||||||||||||
| Ibaraki National College of Technology, Electronic and Computer Engineering | ||||||||||||
| 著者所属(英) | ||||||||||||
| en | ||||||||||||
| Ibaraki National College of Technology, Electronic and Computer Engineering | ||||||||||||
| 著者名 |
野口, 拓也
× 野口, 拓也
× 小飼, 敬
× 滝沢, 陽三
|
|||||||||||
| 著者名(英) |
Noguchi, Takuya
× Noguchi, Takuya
× Kogai, Kei
× Takizawa, Yozo
|
|||||||||||
| 書誌レコードID | ||||||||||||
| 収録物識別子タイプ | NCID | |||||||||||
| 収録物識別子 | AA1242354X | |||||||||||
| 書誌情報 |
情報科学技術フォーラム講演論文集 巻 8, 号 1, p. 377-378, 発行日 2009-08-20 |
|||||||||||
| 出版者 | ||||||||||||
| 言語 | ja | |||||||||||
| 出版者 | 情報処理学会 | |||||||||||
