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