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
K.Hasida
中科院分区:
--
文献类型:
--
作者:
O.Takaki;I.Takeuti;N.Izumi;K.Hasida

文献摘要

相似文献