|
||
[English] [北陸先端科学技術大学院大学] [情報科学研究科]
平石研究室ではシステムの形式的モデル化と検証に関する研究を行っています．
 研究内容と指導方針 |
|
|
|
メンバー |
|
|
|
研究テーマ （関連ドキュメント，リンク） |
|
|
|
最近の発表論文リスト |
|
|
|
主要設備 |
|
|
|
北陸の風景 |
〒923-1292 石川県能美市旭台1-1
北陸先端科学技術大学院大学
情報科学研究科
３棟９階