Art
J-GLOBAL ID：201202243473591887
Reference number：12A1663252
Model Checking for Freight Systems Written in the Multiple Ambient Calculus Using Weak Bisimulation
多重Ambient Calculusによる物流記述に対する弱双模倣等価性を用いたモデル検査
-
Publisher site
Copy service
{{ this.onShowCLink("http://jdream3.com/copy/?sid=JGLOBAL&noSystem=1&documentNoArray=12A1663252©=1") }}
-
Access JDreamⅢ for advanced search and analysis.
{{ this.onShowJLink("http://jdream3.com/lp/jglobal/index.html?docNo=12A1663252&from=J-GLOBAL&jstjournalNo=L7379A") }}
Author (3)：
,
,
Material：
Volume：
2012
Issue：
1
Page：
ROMBUNNO.PUROGURAMINGU,VOL.5,NO.3,50-60
Publication year：
Oct. 15, 2012
JST Material Number：
L7379A
ISSN：
1882-7772
Document type：
Article
Article type：
原著論文
Country of issue：
Japan (JPN)
Language：
JAPANESE (JA)
Thesaurus term：
Thesaurus term/Semi thesaurus term
Keywords indexed to the article.
All keywords is available on JDreamIII(charged).
On J-GLOBAL, this item will be available after more than half a year after the record posted. In addtion, medical articles require to login to MyJ-GLOBAL.
,
,
,
,
,
,
,
,
,
,
,
Semi thesaurus term：
Thesaurus term/Semi thesaurus term
Keywords indexed to the article.
All keywords is available on JDreamIII(charged).
On J-GLOBAL, this item will be available after more than half a year after the record posted. In addtion, medical articles require to login to MyJ-GLOBAL.
,
,
,
,
,
JST classification (3)：
JST classification
Category name(code) classified by JST.
Theory of computation
, Physical distribution
, Computer system development
Reference (11)：
-
[1] 日本経済新聞社:海上コンテナの位置追跡,日本経済新聞2007年1月24日発行夕刊3面(2007).
-
[2] 国土交通省:「メコン地域陸路実用化走行試験」-インドシナ半島物流を変える陸路物流の実用化へのチャレンジ,入手先〈http://www.mlit.gojp/kisha/kisha07/15/151018_.html〉.
-
[3] 国土交通省:米国国土安全保障省及び国土交通省による海上貨物追跡タグシステム(MATTS)の通信能力実証実験,入手先〈http://www.mlit.g0jp/kisha/kisha07/11/110427_.html〉.
-
[4] Cardelli, L. and Gordon, A.D.: Mobile Ambients, Theo-retical Computer Science, Vo1.240, pp.177-213(2000).
-
[5] 森本大輔,加藤暢,樋口昌宏:AmbientCalculusを用いた物流検査システム,情報処理学会論文誌:プログラミン,Vbl.48,No.SIG10(PRO33),pp.151-164(2007).
ｍore...
Terms in the title (5)：
Terms in the title
Keywords automatically extracted from the title.
,
,
,
,
Return to Previous Page
