Basin David | ETH Zurich

スポンサーリンク

概要

• 同名の論文著者
• ETH Zurichの論文著者

関連著者

• Basin David

  ETH Zurich

• 手塚 悟

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

• 宮崎 邦彦

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

• 中島 震

  国立情報学研究所

• 手塚 悟

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

• 宮崎 邦彦

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

• 手塚 悟

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

• 手塚 悟

  第四部

• 宝木 和夫

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

• 手塚 悟

  (株)日立製作所

• 中島 震

  国立情報学研究所:総合研究大学院大学

• 來間 啓伸

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

• 来間 啓伸

  株式会社日立製作所

• Wolff Burkhart

  ETH Zurich

• 中島 震

  国立情報学研究所 アーキテクチャ科学研究系:科学技術振興機構 Sorst

• 中島 震

  情報・システム研究機構国立情報学研究所:科学技術振興機構さきがけ

• 来間 啓伸

  日立製作所システム開発研究所:国立情報学研究所

• 來間 啓伸

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

• 宝木 和夫

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

• 宝木 和夫

  (株)日立製作所

• 中島 震

  国立情報学研究所|総合研究大学院大学

• 中島 震

  国立情報学研

• 中島 震

  総合研究大学院大学|国立情報学研究所

• 來間 啓伸

  (株)日立製作所

• 宮崎 邦彦

  (株)日立製作所

もっと見る 閉じる

著作論文

• 形式手法を用いたディジタル署名システムの安全性評価(ディペンダブルソフトウェア)
• 仕様記述言語Zと証明環境Isabelle/HOL-Z(ソフトウェア紹介,先端ソフトウェアツール)

スポンサーリンク