加藤 暢 | 近畿大学理工学部

スポンサーリンク

概要

• 同名の論文著者
• 近畿大学理工学部の論文著者

関連著者

• 加藤 暢

  近畿大学理工学部

• 加藤 暢

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

• 樋口 昌宏

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

• 樋口 昌宏

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

• 樋口 昌宏

  近畿大学理工学部

• 植田 直人

  株式会社JSOL

• 田川 聖治

  近畿大学理工学部

• 高橋 佑輔

  近畿大学理工学部

• 辻村 俊伸

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

• 植田 直人

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

• 辻村 俊伸

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

• 甲斐 貴史

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

• 森本 大輔

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

• 田中 正彦

  近畿大学理工学部経営工学科

• 池田 大蔵

  近畿大学理工学部経営工学科

もっと見る 閉じる

著作論文

• 研究室配属プログラムの開発と運用
• RA-005 Ambient Calculusによる物流システム記述に対するモデル検査(モデル・アルゴリズム・プログラミング,査読付き論文)
• 時間オートマトンによるフェースディスプレイの上位設計と形式的検証
• 時間オートマトンによるフェースディスプレイの上位設計と形式的検証
• Ambient計算に基づく動的な海上物流の監視システム
• 物流システムに対するAmbient Logicモデル検査システム
• 物流システムに対する Ambient Logic モデル検査システム
• 物流システムに対するAmbient Logicモデル検査システム
• 物流システムに対するAmbient Logicモデル検査システム
• 3M-7 Ambient Calculusを用いる物流検査システムの実装(数理モデルと問題解決,学生セッション,ソフトウェア科学・工学)
• A-032 分散オブジェクトからπ計算プロセスへの変換系(A分野:モデル・アルゴリズム・プログラミング)
• Ambient Calculusを用いた物流検査システム
• Ambient CalculusのJavaによる処理系の実装

もっと見る 閉じる

スポンサーリンク