山ノ口 崇 | 鹿児島大学工学部情報工学科

スポンサーリンク

概要

• 山ノ口 崇の詳細を見る
• 同名の論文著者
• 鹿児島大学工学部情報工学科の論文著者

関連著者

• 山根 智

  鹿児島大学大学院理工学研究科情報工学専攻

• 山ノ口 崇

  鹿児島大学かごしまルネッサンスアカデミー

• 山ノ口 崇

  鹿児島大学工学部情報工学科

著作論文

• Assume-Guarantee形式による実時間ソフトウェアの演繹的詳細化検証手法
• 実時間システムの演繹的検証と自動検証の実験的研究

スポンサーリンク