藤井 護 | 大阪大学基礎工学部情報工学科

スポンサーリンク

概要

• 同名の論文著者
• 大阪大学基礎工学部情報工学科の論文著者

関連著者

• 藤井 護

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

• 藤井 護

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

• 樋口 昌宏

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

• 樋口 昌宏

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

• 樋口 昌宏

  近畿大学理工学部

• 多田 知正

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

• 多田 知正

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

• 原 圭吾

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

• 中石 敬治

  日本電信電話株式会社

• 中石 敬治

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

• 千葉 佳史

  大阪大学基礎工学部

• 本田 直人

  日本航空(株)情報システム部

• 関 浩之

  大阪大学基礎工学部

• 関 浩之

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

• 嵩 忠雄

  大阪大学基礎工学部

• 嵩 忠雄

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

• 都倉 信樹

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

• 葛山 善基

  日本電信電話(株)横須賀電気通信研究所

• 奥井 順

  松下電器産業 中研

• 奥井 順

  松下電器産業(株)研究本部 中央研究所

• 小原 勝

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

• 藤井 護

  大阪大学大型計算機センター

• 玉井 順子

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

• 島袋 潤

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

• 萩本 和彦

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

• 佐野 順子

  (株)リコー

• 小原 勝

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

• 片倉 健一

  大阪大学基礎工学部

• 須川 聡

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

• 小原 勝

  大阪大学大学院基礎工学研究科:(現)松下電器産業株式会社

• 真鍋 典行

  大阪大学基礎工学部

• 寺崎 泰範

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

• 本田 直人

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

• 葛山 善基

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

• 島袋 潤

  (株)日立製作所 システム開発研究所

• 関 浩之

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

もっと見る 閉じる

著作論文

• 自然語仕様から代数的仕様への,文脈を考慮した変換 : OSIセション層プロトコル仕様を例にして
• ECFSMモデル通信プロトコル検証のための不変式の半自動生成
• EFSMモデル通信プロトコルの時制に関する性質の一検証法
• 通信プロトコルにおけるレジスタ操作の適合性試験系列生成手法の実験評価
• ECFSMモデルの通信プロトコルに故障耐性機能を付加する一手法
• ECFSMモデル通信プロトコルの検証システムにおける不変式の自動生成
• あるクラスの拡張有限状態機械におけるレジスタ操作の試験系列の生成手法
• 拡張有限状態機械の適合性試験の一手法 : レジスタ代入の正しさの試験
• 拡張有限状態機械でモデル化された通信プロトコルの生存性の検証法
• 逐次化グラフを用いた複合トランザクションの並行制御
• 多重化データベースにおけるsite equorumを用いたデータの一貫性制御
• 多重化データベースにおけるsite quorumを用いたデータの一貫性制御
• 書き込み保留を用いた逐次化グラフスケジューリング
• 分散システムにおける因果関係を保存するメッセージ 配送プロトコル
• 分散型データベースにおける逐次化グラフ検査を用いたスケジューラの実現と評価
• 分散型データベースにおける逐次化グラフを用いたスケジューリングアルゴリズム
• PDP-11/20デュアルシステムにおけるデバイスシェアリングシステムの製作

もっと見る 閉じる

スポンサーリンク