WEKO3
アイテム
B-022 ソースコード解析を利用したモデル検査に基づく欠陥抽出手法による組込みシステムの検証(B分野:ソフトウェア,一般論文)
https://ipsj.ixsq.nii.ac.jp/records/149884
https://ipsj.ixsq.nii.ac.jp/records/149884a98faca0-9b5c-4010-b8d6-e05c85ca6c9f
名前 / ファイル | ライセンス | アクション |
---|---|---|
![]() |
Copyright (c) 2010 by IEICE,IPSJ
|
Item type | FIT(1) | |||||||||
---|---|---|---|---|---|---|---|---|---|---|
公開日 | 2010-08-20 | |||||||||
タイトル | ||||||||||
タイトル | B-022 ソースコード解析を利用したモデル検査に基づく欠陥抽出手法による組込みシステムの検証(B分野:ソフトウェア,一般論文) | |||||||||
タイトル | ||||||||||
言語 | en | |||||||||
タイトル | B-022 Verification of Embedded System by A Method for Detecting Defects in Source Codes Using Model Checking | |||||||||
言語 | ||||||||||
言語 | 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 | ||||||||||
Graduate School of Engineering, Shibaura institute of technology Department of electronic engineering and computer science | ||||||||||
著者名 |
青木, 善貴
× 青木, 善貴
× 松浦, 佐江子
|
|||||||||
著者名(英) |
Aoki, Yoshitaka
× Aoki, Yoshitaka
× Matsuura, Saeko
|
|||||||||
書誌レコードID | ||||||||||
収録物識別子タイプ | NCID | |||||||||
収録物識別子 | AA1242354X | |||||||||
書誌情報 |
情報科学技術フォーラム講演論文集 巻 9, 号 1, p. 319-324, 発行日 2010-08-20 |
|||||||||
出版者 | ||||||||||
言語 | ja | |||||||||
出版者 | 情報処理学会 |