@inproceedings{weko_206733_1,
   author	 = "梅田,浩貴 and 倉林,翔 and 小口,一浩 and 植田,泰士 and 片平,真史 and 早水,公二 and 森崎,修司",
   title	 = "システムロバスト性向上のためのモデル検査による検証手法の提案と宇宙機搭載FPGA への適用事例",
   booktitle	 = "ソフトウェアエンジニアリングシンポジウム2020論文集",
   year 	 = "2020",
   volume	 = "2020",
   number	 = "",
   pages	 = "32--41",
   month	 = "sep"
}