Public Professor Archive
岡山県立大学 · 情報システム工学科 · 教授
研究キーワード形式手法・モデル検査・プロセス代数・ソフトウェア工学・ソフトウェア・UML・専門分野: ディペンダブルシステム、ソフトウェア工学・形式的検証・ディペンダブルシステム
ここは公開データのプレビューです。個別の適合理由、連絡角度、保存機能はログイン後に利用できます。
個別の適合理由、連絡角度、保存機能はログイン後に利用できます。