博士論文

Automatic adaptor generation for behavioral mismatches using pushdown model checking

Icons representing 博士論文

Automatic adaptor generation for behavioral mismatches using pushdown model checking

Call No. (NDL)
UT51-2012-J777
Bibliographic ID of National Diet Library
024030736
Material type
博士論文
Author
Hsin-Hung Lin [著]
Publisher
[Hsin-Hung Lin]
Publication date
[2011]
Material Format
Paper
Capacity, size, etc.
1冊
Name of awarding university/degree
北陸先端科学技術大学院大学,博士 (情報科学)
View All

Notes on use

Note (General):

博士論文

Search by Bookstore

Holdings of Libraries in Japan

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

  • CiNii Research

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

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
博士論文
Author/Editor
Hsin-Hung Lin [著]
Author Heading
林, 信宏 リン, シンコウ
Publication, Distribution, etc.
Publication Date
[2011]
Publication Date (W3CDTF)
2011
Extent
1冊
Alternative Title
ビヘイビアミスマッチのためのアダプタ自動生成法 ビヘイビア ミスマッチ ノ タメ ノ アダプタ ジドウ セイセイホウ
Degree grantor/type
北陸先端科学技術大学院大学