@inproceedings{weko_102848_1,
   author	 = "大森,洋一 and 日下部,茂 and 林,信宏 and 荒木,啓二郎 and 神戸,大輔 and 寺西,誠 and 川口,真司 and 梅田,浩貴",
   title	 = "人工衛星のソフトウェアIV&VにおけるD-Caseを利用した短期間でのフォーマルメソッド適用",
   booktitle	 = "ソフトウェアエンジニアリングシンポジウム2014論文集",
   year 	 = "2014",
   volume	 = "2014",
   number	 = "",
   pages	 = "27--32",
   month	 = "aug"
}