| Presentation | 2021-01-23 A study of the framework with runtime verification treating time constraints for self-adaptive systems Hideharu Kojima, Hiroyuki Nakagawa, |
|---|---|
| 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 # | KBSE2020-31 |
| Date of Issue | 2021-01-16 (KBSE) |
| Conference Information | |
| Committee | KBSE |
|---|---|
| Conference Date | 2021/1/23(1days) |
| Place (in Japanese) | (See Japanese page) |
| Place (in English) | Online |
| Topics (in Japanese) | (See Japanese page) |
| Topics (in English) | General, Student |
| Chair | Hiroyuki Nakagawa(Osaka Univ.) |
| Vice Chair | Takuya Saruwatari(NTT Data) |
| Secretary | Takuya Saruwatari(OKI) |
| Assistant | Shinpei Ogata(Shinshu Univ.) / Erina Nakihara(Doshisha Univ,) |
| Paper Information | |
| Registration To | Technical Committee on Knowledge-Based Software Engineering |
|---|---|
| Language | JPN |
| Title (in Japanese) | (See Japanese page) |
| Sub Title (in Japanese) | (See Japanese page) |
| Title (in English) | A study of the framework with runtime verification treating time constraints for self-adaptive systems |
| Sub Title (in English) | |
| Keyword(1) | |
| 1st Author's Name | Hideharu Kojima |
| 1st Author's Affiliation | Osaka University(Osaka Univ.) |
| 2nd Author's Name | Hiroyuki Nakagawa |
| 2nd Author's Affiliation | Osaka University(Osaka Univ.) |
| Date | 2021-01-23 |
| Paper # | KBSE2020-31 |
| Volume (vol) | vol.120 |
| Number (no) | KBSE-334 |
| Page | pp.pp.13-18(KBSE), |
| #Pages | 6 |
| Date of Issue | 2021-01-16 (KBSE) |