Jump to main content

文書・図像類

物流システムに対するプロセス代数を用いた配送監視システムの構築に関する研究

Icons representing 文書・図像類

物流システムに対するプロセス代数を用いた配送監視システムの構築に関する研究

Material type
文書・図像類
Author
加藤, 暢
Publisher
近畿大学
Publication date
2013-01-01
Material Format
Digital
Capacity, size, etc.
-
NDC
-
View All

Notes on use

Note (General)：

研究種目：基盤研究(C); 研究期間：2011～2013; 課題番号：23500104; 研究分野：総合領域; 科研費の分科・細目：情報学・計算機システム・ネットワークResearch Paperapplication/pdf

Related materials as well as pre- and post-revision versions

https://kaken.nii.ac.jp/d/r/00330233.ja.html

Detailed bibliographic record

Summary, etc.：

研究成果の概要(和文): 本研究では,物流システムに対する貨物の取扱いの形式的な監視を目的として, 物流システムをプロセス代数を用いてモデル化する方法の確立,及び貨物の移動が正しく行われているかを監視するシステムの開発を行った. モデル化のための記述方法の定式化においては, 既存のプロセス代数を拡張...

Search by Bookstore

Search by Bookstore

Holdings of Libraries in Japan

This page shows libraries in Japan other than the National Diet Library that hold the material.

List of Cooperating Institutions and Databases

Please contact your local library for information on how to use materials or whether it is possible to request materials from the holding libraries.

other

  • Kindai University Academic Resource Repository

    Digital
    You can check the holdings of institutions and databases with which Institutional Repositories DataBase(IRDB)(Institutional Repository) is linked at the site of Institutional Repositories DataBase(IRDB)(Institutional Repository).
    Kindai University Academic Resource Repository

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Digital

Material Type
文書・図像類
Title
物流システムに対するプロセス代数を用いた配送監視システムの構築に関する研究
Author/Editor
加藤, 暢
Author Heading
加藤, 暢
Publication, Distribution, etc.
近畿大学
Publication Date
2013-01-01
Publication Date (W3CDTF)
2013-01-01
Alternative Title
A Handling Management System for Freight with Process Algebra
Periodical title
科学研究費助成事業研究成果報告書 (2013. )
Pages
1-4