コンドウ マサフミ   Kondo Masahumi
  近藤 真史
   所属   川崎医療福祉大学  医療技術学部 臨床工学科
   職種   講師
言語種別 日本語
発表タイトル 時間ペトリネットでモデル化された非同期システムに対するモデル検査ツールUPPAAL の適用
会議名 情報処理学会 ソフトウェア工学研究会
学会区分 研究会
発表形式 口頭
講演区分 一般
発表者・共同発表者◎三輪陽介, 横川智教, 近藤真史, 宮崎仁, 佐藤洋一郎
発表年月日 2011/07/14
開催地
(都市, 国名)
岡山, 日本