講演名 | 2022-07-27 交差点における交通制御アルゴリズムに対するモデル検査を用いた検証 埜口 裕矢(阪大), 土屋 達弘(阪大), |
---|---|
PDFダウンロードページ | PDFダウンロードページへ |
抄録(和) | |
抄録(英) | |
キーワード(和) | |
キーワード(英) | |
資料番号 | CPSY2022-5,DC2022-5 |
発行日 | 2022-07-20 (CPSY, DC) |
研究会情報 | |
研究会 | CPSY / DC / IPSJ-ARC |
---|---|
開催期間 | 2022/7/27(から3日開催) |
開催地(和) | 海峡メッセ下関 |
開催地(英) | Kaikyo Messe Shimonoseki |
テーマ(和) | SWoPP2022: 並列/分散/協調システムとディペンダブルコンピューティングおよび一般 |
テーマ(英) | SWoPP2022: Parallel, Distributed and Cooperative Processing Systems and Dependable Computing |
委員長氏名(和) | 鯉渕 道紘(NII) / 土屋 達弘(阪大) / 津邑 公暁(名工大) |
委員長氏名(英) | Michihiro Koibuchi(NII) / Tatsuhiro Tsuchiya(Osaka Univ.) / 津邑 公暁(名工大) |
副委員長氏名(和) | 中島 耕太(富士通研) / 津邑 公暁(名工大) / 細川 利典(日大) |
副委員長氏名(英) | Kota Nakajima(Fujitsu Lab.) / Tomoaki Tsumura(Nagoya Inst. of Tech.) / Toshinori Hosokawa(Nihon Univ.) |
幹事氏名(和) | 井口 寧(北陸先端大) / 小川 周吾(日立) / 新井 雅之(日大) / 難波 一輝(千葉大) / 今村 智史(富士通研) / 谷本 輝夫(九大) / 新田 高庸(会津大) / 八巻 隼人(電通大) |
幹事氏名(英) | Yasushi Inoguchi(JAIST) / Shugo Ogawa(Hitachi) / Masayuki Arai(Nihon Univ.) / Kazuteru Namba(Chiba Univ.) / 今村 智史(富士通研) / 谷本 輝夫(九大) / 新田 高庸(会津大) / 八巻 隼人(電通大) |
幹事補佐氏名(和) | 小林 諒平(筑波大) / 宮島 敬明(明大) |
幹事補佐氏名(英) | Ryohei Kobayashi(Tsukuba Univ.) / Takaaki Miyajima(Meiji Univ.) |
講演論文情報詳細 | |
申込み研究会 | Technical Committee on Computer Systems / Technical Committee on Dependable Computing / Special Interest Group on System Architecture |
---|---|
本文の言語 | JPN-ONLY |
タイトル(和) | 交差点における交通制御アルゴリズムに対するモデル検査を用いた検証 |
サブタイトル(和) | |
タイトル(英) | |
サブタイトル(和) | |
キーワード(1)(和/英) | |
第 1 著者 氏名(和/英) | 埜口 裕矢 / Yuya Noguchi |
第 1 著者 所属(和/英) | 大阪大学(略称:阪大) Osaka Univercity(略称:Osaka Univ) |
第 2 著者 氏名(和/英) | 土屋 達弘 / Tatsuhiro Tsuchiya |
第 2 著者 所属(和/英) | 大阪大学(略称:阪大) Osaka Univercity(略称:Osaka Univ) |
発表年月日 | 2022-07-27 |
資料番号 | CPSY2022-5,DC2022-5 |
巻番号(vol) | vol.122 |
号番号(no) | CPSY-133,DC-134 |
ページ範囲 | pp.25-30(CPSY), pp.25-30(DC), |
ページ数 | 6 |
発行日 | 2022-07-20 (CPSY, DC) |