@inproceedings{weko_74875_1,
   author	 = "石黒,正揮 and 中島,震 and 梅村,晃広 and 田中,一之",
   title	 = "組込みソフトウェアの制御機構に対するモデル検査の適用に関する評価実験",
   booktitle	 = "コンピュータセキュリティシンポジウム2009　(CSS2009) 論文集",
   year 	 = "2011",
   volume	 = "2009",
   number	 = "",
   pages	 = "1--6",
   month	 = "oct"
}