2018 年度終了報告書

ハイブリッドシステムのための超準プログラミング言語理論を用いた形式手法

研究課題

戦略的な研究開発の推進戦略的創造研究推進事業さきがけ

PDF

体系的番号	JPMJPR15E5
DOI	https://doi.org/10.52926/JPMJPR15E5
研究代表者	末永幸平京都大学, 大学院情報学研究科, 准教授
研究期間 (年度)	2015 – 2018
研究領域	社会的課題の解決に向けた数学と諸分野の協働