前のページに戻るこの文献は全文を取り寄せることができます

JDreamⅢ複写サービスから文献全文の複写（冊子体のコピー）をお申込みできます。
ご利用には、G-Searchデータベースサービスまたは、JDreamⅢのIDが必要です。

既に、G-Searchデータベースサービスまたは、JDreamⅢのIDをお持ちの方

JDreamⅢ複写サービス
文献複写のお申込み

JDreamⅢ複写サービスのご利用が初めての方

学術文献の全文複写をお取寄せ
JDreamⅢ複写サービスのご案内

取り寄せる文献のタイトルと詳細

文献

J-GLOBAL ID：201902263718602456 整理番号：19A0290248

多重Ambient Calculusを用いた動的な海上物流計画に対するモデル検査

Model Checking for Dynamic Freight Schedule with Multiple Ambient Calculus

著者 (4件)：

加藤暢

(近畿大大学院総合理工学研究科)

高岡久裕

(日立システムズ)

樋口昌宏

(近畿大大学院総合理工学研究科)

大山博史

(広島商船高専)

資料名：

情報処理学会論文誌トランザクション数理モデル化と応用(Web) (情報処理学会論文誌数理モデル化と応用(Web))

巻： 11 号： 3 ページ： 84-99 (WEB ONLY) 発行年： 2018年12月20日
JST資料番号： U0475A ISSN： 1882-7780 資料種別：逐次刊行物 (A)
記事区分：原著論文発行国：日本 (JPN) 言語：日本語 (JA)

JDreamⅢ複写サービスとは

JDreamⅢ複写サービスは、学術文献の全文を複写（コピー）して取り寄せできる有料サービスです。インターネットに公開されていない文献や、図書館に収録されていない文献の全文を、オンラインで取り寄せることができます。J-GLOBALの整理番号にも対応しているので、申し込みも簡単にできます。全文の複写（コピー）は郵送またはFAXでお送りします

※ご利用には、G-Searchデータベースサービスまたは、JDreamⅢのIDが必要です
※初めてご利用される方は、JDreamⅢ複写サービスのご案内をご覧ください。

TOP

BOTTOM