岡野 浩三 | 大阪大学 大学院情報科学研究科

スポンサーリンク

概要

• 同名の論文著者
• 大阪大学 大学院情報科学研究科の論文著者

関連著者

• 岡野 浩三

  大阪大学 大学院情報科学研究科

• 東野 輝夫

  大阪大学 大学院情報科学研究科

• 谷口 健一

  大阪大学 基礎工学部

• 東野 輝夫

  大阪大学大学院情報科学研究科|独立行政法人科学技術振興機構 Crest

• 山口 弘純

  大阪大学 大学院情報科学研究科

• 林 晋平

  東京工業大学大学院情報理工学研究科計算工学専攻

• 山本 亮

  大阪大学大学院基礎工学研究科情報数理系専攻

• 浜口 優

  大阪大学大学院情報科学研究科

• 中村 匡秀

  奈良先端科学技術大学院大学情報科学研究科

• 楠本 真二

  大阪大学大学院情報科学研究科

• 井垣 宏

  神戸大学

• 中村 匡秀

  神戸大学

• 野田 夏子

  NECサービスプラットフォーム研究所

• 中村 匡秀

  神戸大学大学院工学研究科

• 角田 雅照

  奈良先端科学技術大学院大学情報科学研究科

• 伏田 享平

  奈良先端科学技術大学院大学情報科学研究科

• 井垣 宏

  神戸大学大学院 工学研究科

• 井垣 宏

  奈良先端科学技術大学院大学情報科学研究科

• 野田 夏子

  Nec共通基盤ソフトウェア研究所

• 野田 夏子

  Microcomputer Software Development Laboratories Nec Corporation

• 小林 隆志

  東京工業大学学術国際情報センター

• 岡野 浩三

  大阪大学大学院情報科学研究科

• 浜口 優

  大阪大学 大学院情報科学研究科

• 吉村 顕

  大阪大学 大学院情報科学研究科

• 楠本 真二

  大阪大学 大学院情報科学研究科

• 岸 知二

  北陸先端科学技術大学院大学情報科学研究科

• 岸 知二

  Jaist:nec

• 岸 知二

  早稲田大学

• 岸 知二

  北陸先端科学技術大学院大学大学情報科学研究科

• 角田 雅照

  奈良先端科学技術大学院大学

• 井垣 宏

  南山大学数理情報学部情報通信学科

• 坂本 一憲

  早稲田大学

• Nakagawa Mikiko

  Department Of Cardiovascular Science Oita University

• 小林 隆志

  名古屋大学

• 岸 知二

  早稲田大

• 岸 知二

  日本電気株式会社

• 山本 亮

  大阪大学 基礎工学部 情報科学科

• 野田 夏子

  Nec

• 野田 夏子

  日本電気株式会社サービスプラットフォーム研究所

• 中村 匡秀

  Faculty Of Computer Science And Systems Engineering Kobe University

• Namiki Mikio

  Department Of Integrated Cancer Therapy And Urology Andrology Unit Kanazawa University Graduate Scho

• 丸山 勝久

  立命館大学情報理工学部

• 大森 隆行

  立命館大学

• Minami Noriaki

  Department Of Pediatrics Shimane University Faculty Of Medicine

• 林 晋平

  東京工業大学

• 岸 知二

  早稲田大学経営システム工学科

• 風戸 広史

  東京工業大学大学院情報理工学研究科計算工学専攻|株式会社nttデータ技術開発本部

• 松石 航也

  大阪大学 大学院基礎工学研究科 情報数理系専攻

• 本橋 正成

  合同会社カルチャーワークス|東京工業大学

• 松石 航也

  大阪大学基礎工学部情報工学科:(現)富士通株式会社

• Naoi Makito

  Department Of Urology Toho University Sakura Medical Center

• 丸山 勝久

  立命館大学

• 本橋 正成

  カルチャーワークス|東京工業大学

• 丸山 勝久

  立命館大学情報理工学部情報システム学科

• 大森 隆行

  立命館大学情報理工学部情報システム学科

• 井垣 宏

  大阪大学

• 風戸 広史

  日本電信電話株式会社(NTT)

• 岡田 譲二

  株式会社NTTデータ

• 小林 隆志

  東京工業大学

• 岡野 浩三

  大阪大学

• 大森 隆行

  立命館大学情報理工部情報システム学科

• 本橋 正成

  カルチャーワークス:東京工業大学

• 伏田 享平

  奈良先端科学技術大学院大学:(現)株式会社NTTデータ技術開発本部

もっと見る 閉じる

著作論文

• SPINを用いたウェブアプリケーションにおける階層別モデル検査支援方法
• 時間ペトリネットモデルで記述されたサービス仕様からのプロトコル仕様の一合成法
• 拡張有限状態機械とペトリネットを表示編集できるGUIツールの作成と応用例
• 動作実行時刻に制約のある分散システムの全体仕様から各ノードの動作記述の自動導出
• 正則な項書換え系のマルチプロセッサ上での一実現法
• レジスタ付き時間ペトリネットで記述された分散システムの時間制約付き全体仕様からその時間制約を満たす各ノードの動作記述の自動導出(並列・分散)
• ウィンターワークショップ2012・イン・琵琶湖開催報告

スポンサーリンク