/トップ
研究紹介
プロファイル
研究内容
研究成果
資料
ソフトウェア工学の玉手箱
学外連携活動
実践力と創造力を持つ高信頼スマート組込みシステム技術者の育成
高信頼システム情報交換会・北陸
高信頼組込みシステム開発技術に関わる基盤的人材育成プログラム
JAIST 21世紀COEプログラム 検証進化可能電子社会
学内情報（学内のみ）
講義資料