【12/14(木)17時より】CiNiiの常時SSL化(HTTPS接続)について

Automatic adaptor generation for behavioral mismatches using pushdown model checking ビヘイビアミスマッチのためのアダプタ自動生成法

この論文をさがす

著者

    • 林, 信宏 リン, シンコウ

書誌事項

タイトル

Automatic adaptor generation for behavioral mismatches using pushdown model checking

タイトル別名

ビヘイビアミスマッチのためのアダプタ自動生成法

著者名

林, 信宏

著者別名

リン, シンコウ

学位授与大学

北陸先端科学技術大学院大学

取得学位

博士 (情報科学)

学位授与番号

甲第683号

学位授与年月日

2011-09-22

注記・抄録

博士論文

Supervisor:青木利晃

情報科学研究科

博士

0アクセス

各種コード

  • NII論文ID(NAID)
    500000564033
  • NII著者ID(NRID)
    • 8000000566256
  • 本文言語コード
    • eng
  • NDL書誌ID
    • 024030736
  • データ提供元
    • 機関リポジトリ
    • NDL-OPAC
ページトップへ