公立千歳科学技術大学 · 情報システム工学科

研究キーワード情報学・計算機科学

ここは公開データのプレビューです。個別の適合理由、連絡角度、保存機能はログイン後に利用できます。

• 形式手法による定量的制約を満たす組み込みシステムの自動合成
• 形式手法による欠陥のある現実規模の組み込みシステム仕様からの修正情報抽出

• 公式プロフィール