2024-03-28T21:40:53Zhttps://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaipmhoai:ipsj.ixsq.nii.ac.jp:001396912023-11-17T02:17:36Z06504:08197:08199
モデル検査に基づくプログラム欠陥抽出作業支援ツールの開発と実践Development and Practice of Program Defect Detecting Work Supporting Tool Based on Model Checkingjpnhttp://id.nii.ac.jp/1001/00139953/Conference Paperhttps://ipsj.ixsq.nii.ac.jp/ej/?action=repository_action_common_download&item_id=139691&item_no=1&attribute_id=1&file_no=1芝浦工業大学大学院工学研究科電気電子情報工学専攻芝浦工業大学大学院工学研究科電気電子情報工学専攻青木, 善貴松浦, 佐江子AN00349328全国大会講演論文集第72回ソフトウェア科学・工学4634642010-03-082015-01-20