コンドウ マサフミ   Kondo Masahumi
  近藤 真史
   所属   川崎医療福祉大学  医療技術学部 臨床工学科
   職種   講師
言語種別 日本語
発表タイトル 時間ペトリネットでモデル化されたGALSシステムを対象としたUPPAALによる自動検証手法
会議名 電子情報通信学会 第10回情報科学技術フォーラム(FIT2011)
学会区分 全国規模の学会
発表形式 口頭
講演区分 一般
発表者・共同発表者◎三輪陽介, 横川智教, 宮崎仁, 近藤真史, 佐藤洋一郎
発表年月日 2011/09/07
開催地
(都市, 国名)
北海道, 日本