WEKO3
アイテム
B-016 ソースコ一ドの解析を利用したモデル検査に基づく欠陥抽出手法の提案(ソフトウェア,一般論文)
https://ipsj.ixsq.nii.ac.jp/records/149070
https://ipsj.ixsq.nii.ac.jp/records/149070f89e31ab-8856-4c80-a96a-a97f8794670b
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
KJ00006864726.pdf (547.3 kB)
|
Copyright (c) 2009 by IEICE,IPSJ
|
| Item type | FIT(1) | |||||||||
|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2009-08-20 | |||||||||
| タイトル | ||||||||||
| タイトル | B-016 ソースコ一ドの解析を利用したモデル検査に基づく欠陥抽出手法の提案(ソフトウェア,一般論文) | |||||||||
| タイトル | ||||||||||
| 言語 | en | |||||||||
| タイトル | B-016 Defect extraction technique based on model checking using analysis of source code | |||||||||
| 言語 | ||||||||||
| 言語 | jpn | |||||||||
| 資源タイプ | ||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_5794 | |||||||||
| 資源タイプ | conference paper | |||||||||
| 著者所属 | ||||||||||
| 芝浦工業大学大学院電気電子情報工学専攻 | ||||||||||
| 著者所属 | ||||||||||
| 芝浦工業大学システム理工学部電子情報システム学科 | ||||||||||
| 著者所属(英) | ||||||||||
| en | ||||||||||
| Graduate School of Engineering, Shibaura institute of technology Department of electronic engineering and computer science | ||||||||||
| 著者所属(英) | ||||||||||
| en | ||||||||||
| Shibaura institute of technology Department of electronic information system College of Systems Engineering a Science | ||||||||||
| 著者名 |
青木, 善貴
× 青木, 善貴
× 松浦, 佐江子
|
|||||||||
| 著者名(英) |
Aoki, Yoshitaka
× Aoki, Yoshitaka
× Matsuura, Saeko
|
|||||||||
| 書誌レコードID | ||||||||||
| 収録物識別子タイプ | NCID | |||||||||
| 収録物識別子 | AA1242354X | |||||||||
| 書誌情報 |
情報科学技術フォーラム講演論文集 巻 8, 号 1, p. 387-391, 発行日 2009-08-20 |
|||||||||
| 出版者 | ||||||||||
| 言語 | ja | |||||||||
| 出版者 | 情報処理学会 | |||||||||
