Online Verification of Value-Passing Choreographies through Property-Oriented Passive Testing

詳細情報 詳細情報について

• CRID

  1360855570215298304

• DOI

  10.1109/hase.2012.15

• Web Site

  http://xplorestaging.ieee.org/ielx5/6374352/6375604/06375644.pdf?arnumber=6375644

• データソース種別

  • Crossref