時間概念を導入したAmbient Calculusによる物流システムの記述

Notes on use

Note (General)：: 機関番号:34419; 研究種目：基盤研究（C）; 研究期間：2010～2012; 課題番号：22500040; 研究分野：総合領域; 科研費の分科・細目：情報学・ソフトウェアResearch Paperapplication/pdf

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

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

Search by Bookstore

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

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 学術機関リポジトリデータベース（IRDB）（機関リポジトリ） is linked at the site of 学術機関リポジトリデータベース（IRDB）（機関リポジトリ）.
Kindai University Academic Resource Repository

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

Material Type: 文書・図像類
Title: 時間概念を導入したAmbient Calculusによる物流システムの記述
Author/Editor: 樋口, 昌宏
Author Heading: 樋口, 昌宏
Publication, Distribution, etc.: 近畿大学
Publication Date: 2012-01-01
Publication Date (W3CDTF): 2012-01-01
Alternative Title: Timed Extension of the Ambient Calculus and its Application for Freight System Specifications
Periodical title: 科学研究費助成事業研究成果報告書 (2012. )
Pages: 1-4
Text Language Code: jpn
Subject Heading: 仕様記述
仕様検証
プロセス代数
モデル検査
Target Audience: 一般
Note (General): 機関番号:34419; 研究種目：基盤研究（C）; 研究期間：2010～2012; 課題番号：22500040; 研究分野：総合領域; 科研費の分科・細目：情報学・ソフトウェア
Research Paper
application/pdf
Format (IMT): application/pdf
Source: KAKEN_22500040seika.pdf
https://kindai.repo.nii.ac.jp/record/3526/files/KAKEN_22500040seika.pdf
Access Restrictions: 限定公開
Related Material: https://kaken.nii.ac.jp/d/r/00238289.ja.html
Data Provider (Database): 国立情報学研究所 : 学術機関リポジトリデータベース（IRDB）（機関リポジトリ）
https://irdb.nii.ac.jp
Original Data Provider (Database): 近畿大学 : 近畿大学学術情報リポジトリ