文献
J-GLOBAL ID:201802256191877221
整理番号:18A0462669
多重Ambient Calculusを用いた動的な海上物流計画に対するモデル検査
Model Checking for Dynamic Freight Schedule with Multiple Ambient Calculus
著者 (4件):
加藤暢
(近畿大 大学院総合理工学研究科)
,
高岡久裕
(近畿大 大学院総合理工学研究科)
,
樋口昌宏
(近畿大 大学院総合理工学研究科)
,
大山博史
(広島商船高専)
資料名:
情報処理学会研究報告(Web)
(IPSJ Technical Report (Web))
巻:
2018
号:
MPS-117
ページ:
Vol.2018-MPS-117,No.12,1-6 (WEB ONLY)
発行年:
2018年02月22日
JST資料番号:
U0451A
資料種別:
会議録 (C)
記事区分:
原著論文
発行国:
日本 (JPN)
言語:
日本語 (JA)