高柳 健太 | 東海大学情報通信学研究科
スポンサーリンク
概要
東海大学情報通信学研究科 | 論文
- 組込みソフトウェアのためのゴール指向手法による状態モデル構築法(モデル表記・モデル検査)
- MDDチャレンジにみる組込みソフトウェアモデル中心開発の工学と教育(MDDロボットチャレンジ)
- ロボットコンテストを利用した組込み教育の実践
- 組込みソフトウェアのためのゴール指向手法による状態モデル構築法(モデル表記・モデル検査)
- 状態遷移言語による組込みソフトウェア開発 (ディペンダブルコンピューティング)