|
|
PDFダウンロードリンク |
講演名 |
2011-03-11 15:55
モデル検査を用いたプログラムにおける再現性の低い潜在的欠陥の抽出手法 ~ データベースロック問題の検証 ~ ○青木善貴・松浦佐江子(芝浦工大) |
PDFダウンロードリンク |
KBSE2010-60 |
著作権について |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
|
[研究会発表申込システムのトップページに戻る]
[電子情報通信学会ホームページ]
|