ログイン 新規登録
言語:

WEKO3

  • トップ
  • ランキング
To
lat lon distance
To

Field does not validate



インデックスリンク

インデックスツリー

メールアドレスを入力してください。

WEKO

One fine body…

WEKO

One fine body…

アイテム

  1. FIT
  2. 2012
  3. 情報科学技術フォーラム講演論文集
  4. 11
  5. 1

B-029 WeBアプリケーション設計のUMLアクティビティ図に対するセマフォア導入とモデル検査(テスト・検証・解析,B分野:ソフトウェア)

https://ipsj.ixsq.nii.ac.jp/records/151448
https://ipsj.ixsq.nii.ac.jp/records/151448
8d59b81b-e2c4-4f96-a3cb-4e843c590675
名前 / ファイル ライセンス アクション
KJ00008742374.pdf KJ00008742374.pdf (194.8 kB)
Copyright (c) 2012 by IEICE,IPSJ
Item type FIT(1)
公開日 2012-09-04
タイトル
タイトル B-029 WeBアプリケーション設計のUMLアクティビティ図に対するセマフォア導入とモデル検査(テスト・検証・解析,B分野:ソフトウェア)
タイトル
言語 en
タイトル B-029 Introduction of Semaphore for Activity Diagrams in UML of Web Application Design and Model Checking
言語
言語 jpn
資源タイプ
資源タイプ識別子 http://purl.org/coar/resource_type/c_5794
資源タイプ conference paper
著者所属
信州大学大学院工学系研究科
著者所属
(株)プラグマティック・テクノロジーズ
著者所属
信州大学工学部
著者所属(英)
en
Graduate School of Science and Technology,Shinshu University
著者所属(英)
en
Pragmatic Technologies Co. Ltd.
著者所属(英)
en
Faculty of Engineering,Shinshu University
著者名 小林, 巧

× 小林, 巧

小林, 巧

Search repository
山田, 豊

× 山田, 豊

山田, 豊

Search repository
和崎, 克己

× 和崎, 克己

和崎, 克己

Search repository
著者名(英) Kobayashi, Takumi

× Kobayashi, Takumi

en Kobayashi, Takumi

Search repository
Yamada, Yutaka

× Yamada, Yutaka

en Yamada, Yutaka

Search repository
Wasaki, Katsumi

× Wasaki, Katsumi

en Wasaki, Katsumi

Search repository
書誌レコードID
収録物識別子タイプ NCID
収録物識別子 AA1242354X
書誌情報 情報科学技術フォーラム講演論文集

巻 11, 号 1, p. 237-238, 発行日 2012-09-04
出版者
言語 ja
出版者 情報処理学会
戻る
0
views
See details
Views

Versions

Ver.1 2025-01-20 15:56:05.843222
Show All versions

Share

Mendeley Twitter Facebook Print Addthis

Cite as

エクスポート

OAI-PMH
  • OAI-PMH JPCOAR
  • OAI-PMH DublinCore
  • OAI-PMH DDI
Other Formats
  • JSON
  • BIBTEX

Confirm


Powered by WEKO3


Powered by WEKO3