APPLICATION
教授マッチング
Public Professor Archive
北陸先端科学技術大学院大学 · 先端科学計算研究センター
北陸先端科学技術大学院大学 · 先端科学計算研究センター
研究キーワードmodel checking・liveness model checking・rewrite theory・security protocol analysis・e-passports・HTTP authentication・CafeOBJ proof scripts
ここは公開データのプレビューです。個別の適合理由、連絡角度、保存機能はログイン後に利用できます。