笠原 孝保 | 日立製作所 電力・電機開発本部
スポンサーリンク
概要
関連著者
-
笠原 孝保
日立製作所 電力・電機開発本部
-
笠原 孝保
(株)日立製作所電力・電機開発本部
-
小林 康弘
日立製作所
-
山田 直之
日立製作所
-
山田 直之
(株)日立製作所電力・電機開発本部
-
小林 康弘
(株)日立製作所日立研究所
-
笠原 孝保
日立製作所エネルギー研究所
著作論文
- 知識処理システム構築のための問題向き推論プログラム自動生成手法
- 制御ソフト高信頼化設計技術の開発
- Mandrioli, D.: Generating Test Cases for Real-Time Systems from Logic Specification, ACM Trans. on Computer Systems, Vol.13, No.4, pp.365-398 (1995).