植田 直人 | 近畿大学大学院総合理工学研究科

スポンサーリンク

概要

• 同名の論文著者
• 近畿大学大学院総合理工学研究科の論文著者

関連著者

• 樋口 昌宏

  近畿大学大学院総合理工学研究科

• 加藤 暢

  近畿大学理工学部

• 樋口 昌宏

  近畿大学理工学部情報学科

• 植田 直人

  近畿大学大学院総合理工学研究科

• 加藤 暢

  近畿大学理工学部情報学科

著作論文

• RA-005 Ambient Calculusによる物流システム記述に対するモデル検査(モデル・アルゴリズム・プログラミング,査読付き論文)
• 物流システムに対するAmbient Logicモデル検査システム

スポンサーリンク