トップページ
> 所属別一覧表
ソフトウェア検証研究センター
4
名が検索されました。 氏名をクリックすると、研究者の詳細情報が表示されます。
No.
氏名(フリガナ)
所属
職名
研究テーマのキーワード
1
二木 厚吉
(フタツギ コウキチ)
ソフトウェア検証研究センター
特任教授
フォーマルメソッド,形式仕様言語,設計言語,システム検証,ソフトウェア工学
2
PREINING, Norbert
(プライニング ノルベルト)
ソフトウェア検証研究センター
准教授
3
GAINA, Daniel Mircea
(ガイナ ダニエル ミルチェア)
ソフトウェア検証研究センター
助教
4
LI, Xin
(リ シン)
ソフトウェア検証研究センター
特任助教
© Japan Advanced Institute of Science and Technology 2007