来間 啓伸 | 日立製作所システム開発研究所:国立情報学研究所

スポンサーリンク

概要

• 同名の論文著者
• 日立製作所システム開発研究所:国立情報学研究所の論文著者

関連著者

• 中島 震

  国立情報学研究所

• 中島 震

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

• 来間 啓伸

  株式会社日立製作所

• 中島 震

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

• 来間 啓伸

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

• 中島 震

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

• 中島 震

  国立情報学研

• 中島 震

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

• 来間 啓伸

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

• 中島 震

  特集編集委員

• 中島 震

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

• 中島 震

  情報・システム研究機構 情報学研

• Basin David

  ETH Zurich

• Wolff Burkhart

  ETH Zurich

もっと見る 閉じる

著作論文

• Event-Bデザインのモデル検査における抽象化(モデル表記・モデル検査)
• Event-Bデザインのモデル検査における抽象化(モデル表記・モデル検査)
• 仕様記述言語Zと証明環境Isabelle/HOL-Z(ソフトウェア紹介,先端ソフトウェアツール)

スポンサーリンク