@techreport{weko_27698_1,
   author	 = "川村,正",
   title	 = "モデル検査法を用いた鉄道信号システムの連動仕様検証",
   year 	 = "1999",
   institution	 = "三菱電機（株）先端技術総合研究所",
   number	 = "12(1998-SLDM-091)",
   month	 = "feb"
}