雑誌電子情報通信学会技術研究報告 : 信学技報
Volume number109(361)-109(368):2010.1.13-2010.1.22
Articleプロセス代数CSPに...

プロセス代数CSPによるシーケンス図設計の詳細化と検証 (コンカレント工学)

Icons representing 記事

プロセス代数CSPによるシーケンス図設計の詳細化と検証

(コンカレント工学)

Call No. (NDL)
Z16-940
Bibliographic ID of National Diet Library
10554008
Material type
記事
Author
海津 智宏ほか
Publisher
東京 : 電子情報通信学会
Publication date
2010-01
Material Format
Paper
Journal name
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 109(367) 2010.1.21・22
Publication Page
p.19～24
View All

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

  • CiNii Research

    Search Service
    You can check the holdings of institutions and databases with which CiNii Research is linked at the site of CiNii Research.
    Check the holdings of this book

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.

Paper

Material Type
記事
Title
プロセス代数CSPによるシーケンス図設計の詳細化と検証
Author/Editor
海津 智宏
磯部 祥尚
鈴木 正人
Series Title
コンカレント工学
Author Heading
海津 智宏
磯部 祥尚
鈴木 正人
Alternative Title
Refinement and verification of sequence diagrams using the process algebra CSP
Periodical title
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報
No. or year of volume/issue
109(367) 2010.1.21・22
Volume
109
Issue
367