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

DOI PDF 1 Citations

Journal

2012 IEEE 14th International Symposium on High-Assurance Systems Engineering

2012 IEEE 14th International Symposium on High-Assurance Systems Engineering 106-113, 2012-10

IEEE

Citations (1)*help

See more

Details 詳細情報について

CRID

1360855570215298304
DOI

10.1109/hase.2012.15
Web Site

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

Export

Report a problem

Back to top