![北陸先端科学技術大学院大学 [JAIST] - 研究者総覧](images/info_01.gif)
高信頼組込みシステム教育研究センター
1名が検索されました。 氏名をクリックすると、研究者の詳細情報が表示されます。
| No. | 氏名（フリガナ） | 所属 | 職名 | 研究テーマのキーワード |
| 1 |
矢竹 健朗
（ヤタケ ケンロウ） |
高信頼組込みシステム教育研究センター |
助教 | 形式手法, 定理証明, モデル検査 |
|
|||||||||||
|
トップページ＞ 所属別一覧表 | ||||||||||
|
高信頼組込みシステム教育研究センター |
||||||||||
|
1名が検索されました。 氏名をクリックすると、研究者の詳細情報が表示されます。
|
|||||||||||
| © Japan Advanced Institute of Science and Technology 2007 | |||||||||||