发现好书期刊,享受阅读乐趣

海量图书期刊资源,随时随地畅享阅读乐趣

Event-Based Design and Runtime Verification of Composite Service Transactional Behavior

Event-Based Design and Runtime Verification of Composite Service Transactional Behavior

Gaaloul, W.; Bhiri, S.; Rouached, M.
  • 作者Gaaloul, W.; Bhiri, S.; Rouached, M.
  • 卷第3卷
  • 期第1期
  • 印刷ISSN1939-1374
  • 文件大小2454.38KB
  • 发表时间2010
  • DOI10.1109/tsc.2010.1
  • 页码32-45
← 返回【学霸图书馆】主页