|
コンドウ マサフミ
Kondo Masahumi
近藤 真史 所属 川崎医療福祉大学 医療技術学部 臨床工学科 職種 講師 |
|
| 論文種別 | 原著 |
| 言語種別 | 日本語 |
| 査読の有無 | 査読あり |
| 表題 | MathSATを用いたsafe Time Petri Netの非有界モデル検査手法 |
| 掲載誌名 | 正式名：情報処理学会ウィンターワークショップ2018 論文集 |
| 掲載区分 | 国内 |
| 巻・号・頁 | 44-45頁 |
| 著者・共著者 | 井川直, 横川智教, 佐藤洋一郎, 有本和民, 近藤真史, 宮崎仁 |
| 発行年月 | 2018/01 |