北陸先端科学技術大学院大学 [JAIST] - 研究者総覧
現在ページ トップページ> 所属別一覧表
所属別一覧
ソフトウェア検証研究センター

4名が検索されました。 氏名をクリックすると、研究者の詳細情報が表示されます。

No. 氏名(フリガナ) 所属 職名 研究テーマのキーワード
1 二木 厚吉
(フタツギ コウキチ)
ソフトウェア検証研究センター
特任教授 フォーマルメソッド,形式仕様言語,設計言語,システム検証,ソフトウェア工学
2 PREINING, Norbert
(プライニング ノルベルト)
ソフトウェア検証研究センター
准教授
3 GAINA, Daniel Mircea
(ガイナ ダニエル ミルチェア)
ソフトウェア検証研究センター
助教
4 LI, Xin
(リ シン)
ソフトウェア検証研究センター
特任助教