R. Nakashiro, Y. Kamei, N. Ubayashi, S. Nakajima, and A. Iwai, "Verification of Bpel Workflows Design Using Model Checking," In Joint Workshop on Software Science and Engineering, pp. 7-10, 2011.
ID 119
分類 研究会・全国大会等
タグ bpel checking design model verification workflows
表題 (title) Verification of Bpel Workflows Design Using Model Checking
表題 (英文) Verification of Bpel Workflows Design Using Model Checking
著者名 (author) Ryosuke Nakashiro, Yasutaka Kamei, Naoyasu Ubayashi, Shin Nakajima,Akihito Iwai
英文著者名 (author) Ryosuke Nakashiro, Yasutaka Kamei, Naoyasu Ubayashi, Shin Nakajima,Akihito Iwai
編者名 (editor)
編者名 (英文)
キー (key) Ryosuke Nakashiro, Yasutaka Kamei, Naoyasu Ubayashi, Shin Nakajima,Akihito Iwai
書籍・会議録表題 (booktitle) Joint Workshop on Software Science and Engineering
書籍・会議録表題(英文) Joint Workshop on Software Science and Engineering
巻数 (volume)
号数 (number)
ページ範囲 (pages) 7-10
組織名 (organization)
出版元 (publisher)
出版元 (英文)
出版社住所 (address)
刊行月 (month) 0
出版年 (year) 2011
採択率 (acceptance)
URL
付加情報 (note)
注釈 (annote)
内容梗概 (abstract)
論文電子ファイル 利用できません.
BiBTeXエントリ
@inproceedings{id119,
         title = {Verification of BPEL Workflows Design using Model Checking},
        author = {Ryosuke Nakashiro and  Yasutaka Kamei and  Naoyasu Ubayashi and  Shin Nakajima and Akihito Iwai},
     booktitle = {Joint Workshop on Software Science and Engineering},
         pages = {7-10},
         month = {0},
          year = {2011},
}