/ プログラム/ 発表一覧/ 著者一覧企業展示一覧/ jsai2017ホーム /

寸田 智也

*セッションの無断動画配信はご遠慮下さい。

Tweet #jsai2017 このエントリーをはてなブックマークに追加

氏名寸田 智也
ふりがなすんだ ともや
所属神戸大学大学院システム情報学研究科情報科学専攻

発表リスト

05月23日(Tue) 13:50〜15:30 M会場(ウインクあいち-10F 1005会議室)
題目1M1-OS-02a-2 SAT技術を用いたペトリネットのデッドロック検出手法の提案
著者寸田 智也 宋 剛秀 番原 睦則 田村 直之
論文PDFファイル