Presentation | 2023-01-11 SBFLの欠陥限局精度向上を目的としたSoftアサートの調査 Kohei Mihara, Shinsuke Matsumoto, Shinji Kusumoto, |
---|---|
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 # | MSS2022-57,SS2022-42 |
Date of Issue | 2023-01-03 (MSS, SS) |
Conference Information | |
Committee | MSS / SS |
---|---|
Conference Date | 2023/1/10(2days) |
Place (in Japanese) | (See Japanese page) |
Place (in English) | |
Topics (in Japanese) | (See Japanese page) |
Topics (in English) | |
Chair | Atsuo Ozaki(Osaka Inst. of Tech.) / Kozo Okano(Shinshu Univ.) |
Vice Chair | Shingo Yamaguchi(Yamaguchi Univ.) / Yoshiki Higo(Osaka Univ.) |
Secretary | Shingo Yamaguchi(Hokkaido Univ.) / Yoshiki Higo(NEC) |
Assistant | Masato Shirai(Shimane Univ.) / Shinsuke Matsumoto(Osaka Univ.) |
Paper Information | |
Registration To | Technical Committee on Mathematical Systems Science and its Applications / Technical Committee on Software Science |
---|---|
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) | |
Keyword(6) | |
Keyword(7) | |
1st Author's Name | Kohei Mihara |
1st Author's Affiliation | Osaka University(Osaka Univ.) |
2nd Author's Name | Shinsuke Matsumoto |
2nd Author's Affiliation | Osaka University(Osaka Univ.) |
3rd Author's Name | Shinji Kusumoto |
3rd Author's Affiliation | Osaka University(Osaka Univ.) |
Date | 2023-01-11 |
Paper # | MSS2022-57,SS2022-42 |
Volume (vol) | vol.122 |
Number (no) | MSS-329,SS-330 |
Page | pp.pp.72-77(MSS), pp.72-77(SS), |
#Pages | 6 |
Date of Issue | 2023-01-03 (MSS, SS) |