コンドウ マサフミ   Kondo Masahumi
  近藤 真史
   所属   川崎医療福祉大学  医療技術学部 臨床工学科
   職種   講師
論文種別 原著
言語種別 日本語
査読の有無 査読なし
表題 有界モデル検査の高速化を指向した差分論理に基づく時間ペトリネットの論理式表現
掲載誌名 正式名:電子情報通信学会技術研究報告(システム数理と応用)
巻・号・頁 116(425),59-64頁
著者・共著者 井川直, 横川智教, 宮崎仁, 近藤真史, 佐藤洋一郎, 有本和民
発行年月 2017/01