"内藤博,森口草介,渡部卓雄","組込みシステム向けFRP言語におけるモデル検査を用いた状態依存動作の検証","情報処理学会第57回組込みシステム研究会(SIGEMB57)","情報処理学会研究報告","情報処理学会","Vol. 2021-EMB-57","No. 4","pp. 1-2",2021,June