ニュース / News

受賞

井上 克巳教授(情報学プリンシプル研究系)らによる論文が情報処理学会論文誌ジャーナル 特選論文に選出

井上 克巳教授(情報学プリンシプル研究系)らによる論文が情報処理学会論文誌ジャーナル 特選論文(2018年9月15日公表分)に選出されました。

論文タイトル

SAT技術を用いたペトリネットのデッドロック検出手法の提案

著者

寸田 智也、宋 剛秀、番原 睦則、田村 直之、井上 克巳(国立情報学研究所)

3293

注目コンテンツ / SPECIAL