來間 啓伸 | 株式会社日立製作所システム開発研究所
スポンサーリンク
概要
関連著者
-
來間 啓伸
株式会社日立製作所システム開発研究所
-
宮崎 邦彦
(株)日立製作所システム開発研究所
-
宮崎 邦彦
株式会社日立製作所システム開発研究所
-
佐藤 直人
株式会社日立製作所システム開発研究所
-
來間 啓伸
(株)日立製作所
-
宮崎 邦彦
(株)日立製作所
-
手塚 悟
株式会社日立製作所システム開発研究所
-
手塚 悟
(株)日立製作所システム開発研究所
-
石川 冬樹
国立情報学研究所
-
伊藤 信治
日立製作所
-
秦野 康生
(株)日立製作所システム開発研究所
-
秦野 康生
東京理科大学理工学部電気工学科
-
手塚 悟
株式会社日立製作所 システム開発研究所
-
手塚 悟
第四部
-
宝木 和夫
(株)日立製作所システム開発研究所
-
手塚 悟
(株)日立製作所
-
伊藤 信治
株式会社日立製作所システム開発研究所
-
伊藤 信治
(株)日立製作所
-
Basin David
ETH Zurich
-
來間 啓伸
(株)日立製作所システム開発研究所
-
宝木 和夫
(株)日立製作所 システム開発研究所
-
宝木 和夫
(株)日立製作所
-
來間 啓伸
株式会社日立製作所横浜研究所
-
來間 啓伸
日立製作所
-
佐藤 直人
株式会社日立製作所横浜研究所
-
デビッド ベイジン
スイス連邦工科大学チューリッヒ校
-
秦野 康生
(株)日立製作所
著作論文
- 2B-4 反例を利用した形式モデル修正支援ツールの開発(組込み,品質,一般セッション,ソフトウェア科学・工学)
- 形式手法を用いたディジタル署名システムの安全性評価(ディペンダブルソフトウェア)
- 形式仕様に基づくソフトウェア開発手法の紹介 : Bメソッドを中心に
- 公共業務システム開発における法令からの要件の抽出/検証手法の提案
- Event-Bによる列車監視システムのモニタリング要件の検証