[A-10] システム数理と応用

11:00 〜 11:15

[A-10-08] Ambient計算による物流シミュレータの地域分割Partial Order Reduction に基づく効率化

〇劉 家興¹、加藤 暢¹ (1. 近畿大学)

キーワード：

アンビエント計算、物流シミュレータ、地域分割