Presentation | 2019-03-02 自己適応システムの動的検証法の高速化に関する研究 Yusuke Myoken, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya, |
---|---|
PDF Download Page | PDF download Page Link |
Abstract(in Japanese) | (See Japanese page) |
Abstract(in English) | |
Keyword(in Japanese) | (See Japanese page) |
Keyword(in English) | |
Paper # | KBSE2018-66 |
Date of Issue | 2019-02-22 (KBSE) |
Conference Information | |
Committee | KBSE |
---|---|
Conference Date | 2019/3/1(2days) |
Place (in Japanese) | (See Japanese page) |
Place (in English) | Doshisha University Kambaikan |
Topics (in Japanese) | (See Japanese page) |
Topics (in English) | |
Chair | Fumihiro Kumeno(Nippon Inst. of Tech.) |
Vice Chair | Hiroyuki Nakagawa(Osaka Univ.) |
Secretary | Hiroyuki Nakagawa(NTT) |
Assistant | Ryuichi Takahashi(Ibaraki Univ.) / Yoshinori Tanabe(Tsurumi Univ.) |
Paper Information | |
Registration To | Technical Committee on Knowledge-Based Software Engineering |
---|---|
Language | JPN-ONLY |
Title (in Japanese) | (See Japanese page) |
Sub Title (in Japanese) | (See Japanese page) |
Title (in English) | |
Sub Title (in English) | |
Keyword(1) | |
Keyword(2) | |
Keyword(3) | |
Keyword(4) | |
Keyword(5) | |
1st Author's Name | Yusuke Myoken |
1st Author's Affiliation | Osaka University(Osaka Univ.) |
2nd Author's Name | Hiroyuki Nakagawa |
2nd Author's Affiliation | Osaka University(Osaka Univ.) |
3rd Author's Name | Tatsuhiro Tsuchiya |
3rd Author's Affiliation | Osaka University(Osaka Univ.) |
Date | 2019-03-02 |
Paper # | KBSE2018-66 |
Volume (vol) | vol.118 |
Number (no) | KBSE-463 |
Page | pp.pp.75-80(KBSE), |
#Pages | 6 |
Date of Issue | 2019-02-22 (KBSE) |