Presentation | 2022-07-27 交差点における交通制御アルゴリズムに対するモデル検査を用いた検証 Yuya Noguchi, 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 # | CPSY2022-5,DC2022-5 |
Date of Issue | 2022-07-20 (CPSY, DC) |
Conference Information | |
Committee | CPSY / DC / IPSJ-ARC |
---|---|
Conference Date | 2022/7/27(3days) |
Place (in Japanese) | (See Japanese page) |
Place (in English) | Kaikyo Messe Shimonoseki |
Topics (in Japanese) | (See Japanese page) |
Topics (in English) | SWoPP2022: Parallel, Distributed and Cooperative Processing Systems and Dependable Computing |
Chair | Michihiro Koibuchi(NII) / Tatsuhiro Tsuchiya(Osaka Univ.) / 津邑 公暁(名工大) |
Vice Chair | Kota Nakajima(Fujitsu Lab.) / Tomoaki Tsumura(Nagoya Inst. of Tech.) / Toshinori Hosokawa(Nihon Univ.) |
Secretary | Kota Nakajima(JAIST) / Tomoaki Tsumura(Hitachi) / Toshinori Hosokawa(Nihon Univ.) / (Chiba Univ.) |
Assistant | Ryohei Kobayashi(Tsukuba Univ.) / Takaaki Miyajima(Meiji Univ.) |
Paper Information | |
Registration To | Technical Committee on Computer Systems / Technical Committee on Dependable Computing / Special Interest Group on System Architecture |
---|---|
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) | |
1st Author's Name | Yuya Noguchi |
1st Author's Affiliation | Osaka Univercity(Osaka Univ) |
2nd Author's Name | Tatsuhiro Tsuchiya |
2nd Author's Affiliation | Osaka Univercity(Osaka Univ) |
Date | 2022-07-27 |
Paper # | CPSY2022-5,DC2022-5 |
Volume (vol) | vol.122 |
Number (no) | CPSY-133,DC-134 |
Page | pp.pp.25-30(CPSY), pp.25-30(DC), |
#Pages | 6 |
Date of Issue | 2022-07-20 (CPSY, DC) |