進 博正 | (株)東芝研究開発センター
スポンサーリンク
概要
関連著者
-
進 博正
(株)東芝研究開発センター
-
岩政 幹人
(株)東芝研究開発センター
-
岩政 幹人
(株)東芝
-
太田 暁率
(株)東芝研究開発センター
-
太田 暁率
(株)東芝 研究開発センター システム技術ラボラトリー
-
丸地 康平
(株)東芝 研究開発センター システム技術ラボラトリー
-
酒井 政裕
(株)東芝研究開発センター
-
進 博正
(株)東芝研究開発センターシステム技術ラボラトリー
著作論文
- AS-4-2 形式的なμITRON4.0仕様を用いたテストケース生成の実験(ソフトウェアのテストと検証,AS-4.組込みシステムの形式的手法,シンポジウム)
- シーケンス制御プログラムのテストに適した新しいカバレッジ基準の提案