山崎 努 | 九州大学産学連携センター連携部門オプト・エレクトロニクス材料領域
スポンサーリンク
概要
論文 | ランダム
- NETs 今だから学ぶ基礎知識 組み込みソフトウエアの検証手法(3)モデル検査ツール「Garakabu」を開発
- SPINによるStrutsアプリケーションの動作検証を目的としたモデル生成手法の提案
- 部品のコスト・性能を考慮したリアルタイム組込みシステムの一設計法(VLSI設計技術とCAD)
- モデル検査によるアーキテクチャ設計検証(アーキテクチャ)
- UMLステートダイアグラムの亜種を用いた組み込みソフトウェア振舞い解析(分析・設計技法)