最新ニュース
5月26日13時(日本時刻に)第14期公募の応募者登録および提案書アップロードを締め切りました。
The applicant registration website closed on 26 May 2023, at 1:00 p.m.(Japan Time)
Home
>
最新ニュース
> 末永幸平研究者がハイブリッドシステムの検証のための「ハイパーストリーム処理モデル」についての論文をPOPL 2013 で発表しました。
| ENGLISH |
末永幸平研究者がハイブリッドシステムの検証のための「ハイパーストリーム処理モデル」についての論文をPOPL 2013 で発表しました。