佐藤 直人 | 株式会社日立製作所システム開発研究所

スポンサーリンク

概要

• 佐藤 直人の詳細を見る
• 同名の論文著者
• 株式会社日立製作所システム開発研究所の論文著者

関連著者

• 佐藤 直人

  株式会社日立製作所システム開発研究所

• 來間 啓伸

  株式会社日立製作所システム開発研究所

• 早田 宏

  富士ゼロックス株式会社

• 佐藤 直人

  日本アイ・ビー・エム株式会社東京基礎研究所

• 鈴木 俊宏

  日本アイビーエム(株) システムズsw開発

• 早田 宏

  富士ゼロックス(株) システム技術開発センタ

• 古沢 淳

  日本アイビーエム(株) システムズSW開発

• 鈴木 俊宏

  日本アイ・ビー・エム(株)システムズ・SW開発

• 古沢 淳

  日本アイ・ビー・エム(株)システムズ・SW開発

• 木内 康彦

  富士ゼロックス(株) システム技術開発センタ

• 松原 弘文

  富士ゼロックス(株) システム技術開発センタ

• 佐藤 直人

  富士ゼロックス(株) システム技術開発センタ

• 佐藤 直人

  日本アイ・ビー・エム(株)東京基礎研究所

• 來間 啓伸

  株式会社日立製作所横浜研究所

• 佐藤 直人

  株式会社日立製作所横浜研究所

• デビッド ベイジン

  スイス連邦工科大学チューリッヒ校

もっと見る 閉じる

著作論文

• 2B-4 反例を利用した形式モデル修正支援ツールの開発(組込み,品質,一般セッション,ソフトウェア科学・工学)
• OS/2における日本語環境
• データベース管理システムのためのベースシステムの実現
• Event-Bによる列車監視システムのモニタリング要件の検証

スポンサーリンク