WEKO3
-
RootNode
アイテム
B-028 UMLアクティビティ図から構造変換された自由選択ワークフローネットに対する活性化マーキング(テスト・検証・解析,B分野:ソフトウェア)
https://ipsj.ixsq.nii.ac.jp/records/151447
https://ipsj.ixsq.nii.ac.jp/records/1514477b3d29ff-eb47-425f-be4a-a0e63b4e0eff
名前 / ファイル | ライセンス | アクション |
---|---|---|
![]() |
Copyright (c) 2012 by IEICE,IPSJ
|
Item type | FIT(1) | |||||||||
---|---|---|---|---|---|---|---|---|---|---|
公開日 | 2012-09-04 | |||||||||
タイトル | ||||||||||
タイトル | B-028 UMLアクティビティ図から構造変換された自由選択ワークフローネットに対する活性化マーキング(テスト・検証・解析,B分野:ソフトウェア) | |||||||||
タイトル | ||||||||||
言語 | en | |||||||||
タイトル | B-028 Live Initial Marking in Free-Choice Work ow Nets converted from UML Activity Diagrams | |||||||||
言語 | ||||||||||
言語 | jpn | |||||||||
資源タイプ | ||||||||||
資源タイプ識別子 | http://purl.org/coar/resource_type/c_5794 | |||||||||
資源タイプ | conference paper | |||||||||
著者所属 | ||||||||||
信州大学大学院工学系研究科 | ||||||||||
著者所属 | ||||||||||
信州大学工学部 | ||||||||||
著者所属(英) | ||||||||||
en | ||||||||||
Graduate School of Science and Technology,Shinshu University | ||||||||||
著者所属(英) | ||||||||||
en | ||||||||||
Faculty of Engineering,Shinshu University | ||||||||||
著者名 |
小林, 一平
× 小林, 一平
× 和崎, 克己
|
|||||||||
著者名(英) |
Kobayashi, Ippei
× Kobayashi, Ippei
× Wasaki, Katsumi
|
|||||||||
書誌レコードID | ||||||||||
収録物識別子タイプ | NCID | |||||||||
収録物識別子 | AA1242354X | |||||||||
書誌情報 |
情報科学技術フォーラム講演論文集 巻 11, 号 1, p. 235-236, 発行日 2012-09-04 |
|||||||||
出版者 | ||||||||||
言語 | ja | |||||||||
出版者 | 情報処理学会 |