Verification of BPEL workflows design using model checking (Software science)
スポンサーリンク
概要
- 論文の詳細を見る
- 電子情報通信学会の論文
- 2011-06-30
電子情報通信学会 | 論文
- 分散記憶型マシンにおける並列整数計画法
- 正十二面体マイクロホンアレイを用いた実環境における音源信号分離の検討 (信号処理)
- 正十二面体マイクロホンアレイを用いた実環境における音源信号分離の検討 (応用音響)
- サービスの開始と終了を考慮したWebトラヒックの非定常Poisson過程によるモデル化について (情報ネットワーク)
- バースト消失訂正とLDPC符号に関する一考察