発行年2010 - 2014 キーワードモデル検査 部局大学院理工学研究科（工学）
発行年
2010 - 2014 1
キーワード
CPN Tools 1 model checking 1 modeling 1 multi-shaft elevator system 1 selective collective 1 simulation 1 シミュレーション 1 セレクティブコレクティブ 1 マルチシャフトエレベータシステム 1 モデリング 1 モデル検査 1
もっと見る
元に戻す
種類
会議発表論文 1
部局
大学院理工学研究科（工学） 1
検索結果 1 件
登録番号 (降順)
山口大学学術機関リポジトリYUNOCA
CPN Toolsによるシングルカーマルチシャフトエレベータシステムのモデル化法と検査への応用
電子情報通信学会技術研究報告. MSS, システム数理と応用 111 巻 453(MSS2011 72-87) 号
作成者 : 石田 憲秀 | 山口 真悟 | 上田 滝平 出版者 : 電子情報通信学会 発行日 : 2012-03-01
関連作成者
山口 真悟 1
Copyright（C）2008-2018 山口県大学図書館協議会