自動車設計における形式手法適用について自動車企業との関連研究を行っております．