北道 淳司 | 大阪大学サイバーメディアセンター

スポンサーリンク

概要

• 同名の論文著者
• 大阪大学サイバーメディアセンターの論文著者

関連著者

• 東野 輝夫

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

• 北道 淳司

  会津大学コンピュータ理工学部

• 北道 淳司

  大阪大学大学院基礎工学研究科

• 東野 輝夫

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

• 北道 淳司

  大阪大学サイバーメディアセンター

• 船曳 信生

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

• 本多 亮

  大阪大学大学院基礎工学研究科

• 樋口 昌宏

  大阪大学大学院基礎工学研究科

• 樋口 昌宏

  近畿大学理工学部

• 中田 明夫

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

• 佐藤 友哉

  大阪大学大学院基礎工学研究科

• 森 亮憲

  大阪大学大学院基礎工学研究科

• 深田 敦史

  大阪大学大学院基礎工学研究科

• 東野 輝夫

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

もっと見る 閉じる

著作論文

• システム設計レベルにおける回路の性質検証のための整数データを処理可能なCTLモデル検査法の提案と実装
• 観測不可能な非決定動作を含む並行DFSM群としてモデル化される通信プロトコルの適合性試験法(マルチメディアコミュニケーションシステム)
• マルチコンテキストFPGAのためのコンテキスト分割アルゴリズムの実例による評価
• マルチコンテキストFPGAのためのコンテキスト分割アルゴリズムの実例による評価
• マルチコンテキストFPGAのためのコンテキスト分割アルゴリズムの実例による評価

スポンサーリンク