Incremental Verification of Consistency Property of Large-Scale Workflows That Contain Passback Flows
Incremental Verification of Consistency Property of Large-Scale Workflows That Contain Passback Flows
复制标题
包含回传流的大规模工作流一致性属性的增量验证
DOI:
--
复制
发表时间:
2010
期刊:
影响因子:
--
通讯作者:
K.Hasida
中科院分区:
文献类型:
--
作者:
O.Takaki;I.Takeuti;N.Izumi;K.Hasida