@article{weko_174247_1,
   author	 = "鴫原,一人 and 石川,拓也 and 本田,晋也 and 高田,広章",
   title	 = "メモリ保護機能を持つAUTOSAR仕様ベースのリアルタイムOSに対するテスト",
   journal	 = "情報処理学会論文誌",
   year 	 = "2016",
   volume	 = "57",
   number	 = "8",
   pages	 = "1737--1751",
   month	 = "aug"
}