2022年9月13日
/ 最終更新日時 : 2022年9月13日
ohsugalab
::情報処理学会SE研究会卓越研究賞::
受賞論文:Towards scalable model checking of reflective systems via labeled transition systems, IEEE Transactions on Software Engineering
受賞者:Kenji Tei, Yasuyuki Tahara, and Akihiko Ohsuga
学内サイト記事