2014 Fiscal Year Abstract(Research Progress Assessment)
| Project/Area Number |
23220002
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (S)
|
| Allocation Type | Single-year Grants |
|---|
| Research Field |
Software
|
|---|
| Research Institution | Japan Advanced Institute of Science and Technology |
|---|
Principal Investigator |
FUTATSUGI Kokichi 北陸先端科学技術大学院大学, ソフトウェア検証研究センター, 特任教授 (50251971)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
OGATA KAZUHIRO 北陸先端科学技術大学院大学, 情報科学研究科, 教授 (30272991)
AOKI TOSHIAKI 北陸先端科学技術大学院大学, 情報科学研究科, 准教授 (20313702)
NAKAMURA MASAKI 富山県立大学, 工学部, 講師 (40345658)
|
|---|
| Co-Investigator(Renkei-kenkyūsha) |
CHIBA YUKI 北陸先端科学技術大学院大学, 情報科学研究科, 助教 (10509756)
SEINO TAKAHIRO 産業技術総合研究所, 社会知能研究ラボ, 特別研究員 (10397226)
|
|---|
| Research Collaborator |
PREINING Norbert 北陸先端科学技術大学院大学, ソフトウェア検証研究センター, 准教授 (60571247)
GAINA Daniel 北陸先端科学技術大学院大学, ソフトウェア検証研究センター, 助教 (80595778)
|
|---|
| Project Period (FY) |
2011-04-01 – 2016-03-31
|
