山ノ口 崇 | 鹿児島大学かごしまルネッサンスアカデミー
スポンサーリンク
概要
関連著者
-
山ノ口 崇
鹿児島大学かごしまルネッサンスアカデミー
-
山根 智
鹿児島大学大学院理工学研究科情報工学専攻
-
山ノ口 崇
鹿児島大学工学部情報工学科
-
石原田 秀一
鹿児島大学工学部
-
石原田 秀一
鹿児島大学産学官連携推進機構
-
山ノ口 崇
鹿児島大学工学研究科情報工学専攻
著作論文
- ビデオ会議システムを用いた遠隔教育(教育における映像情報技術)
- Assume-Guarantee形式による実時間ソフトウェアの演繹的詳細化検証手法
- 実時間システムの演繹的検証と自動検証の実験的研究
- 実時間システムの演繹的検証