2024-03-29T04:48:43Zhttps://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaipmhoai:ipsj.ixsq.nii.ac.jp:001490702017-03-31T05:33:31Z08512:08650:08651:08526:08527
B-016 ソースコ一ドの解析を利用したモデル検査に基づく欠陥抽出手法の提案(ソフトウェア,一般論文)B-016 Defect extraction technique based on model checking using analysis of source codejpnhttp://id.nii.ac.jp/1001/00149036/Conference Paperhttps://ipsj.ixsq.nii.ac.jp/ej/?action=repository_action_common_download&item_id=149070&item_no=1&attribute_id=1&file_no=1Copyright (c) 2009 by IEICE,IPSJ芝浦工業大学大学院電気電子情報工学専攻芝浦工業大学システム理工学部電子情報システム学科青木, 善貴松浦, 佐江子AA1242354X情報科学技術フォーラム講演論文集813873912009-08-202016-02-12