Public Professor Archive
Okayama Prefectural University · Department of Information Systems Engineering · 教授
Okayama Prefectural University · Department of Information Systems Engineering · 教授
Research keywords形式手法・モデル検査・プロセス代数・ソフトウェア工学・ソフトウェア・UML・専門分野: ディペンダブルシステム、ソフトウェア工学・形式的検証・ディペンダブルシステム
This is a public-data preview. Personalized fit, contact angles, and saved workflows require sign-in.