@techreport{weko_62556_1,
   author	 = "日高,隆博 and 山崎,二三雄 and 中本,幸一 and 本田,晋也 and 高田,広章",
   title	 = "HAZOP分析によるソフトウェア異常動作検出条件の導出手法の提案と実装",
   year 	 = "2009",
   institution	 = "名古屋大学大学院情報科学研究科附属組込みシステム研究センター, 名古屋大学大学院情報科学研究科附属組込みシステム研究センター, 名古屋大学大学院情報科学研究科附属組込みシステム研究センター／兵庫県立大学応用情報科学研究科, 名古屋大学大学院情報科学研究科, 名古屋大学大学院情報科学研究科",
   number	 = "1",
   month	 = "jul"
}