مؤتمر
Generation of Conformance Test Suites for Compositions of Web Services Using Model Checking
| العنوان: | Generation of Conformance Test Suites for Compositions of Web Services Using Model Checking |
|---|---|
| المؤلفون: | Garcia-Fanjul, J., de la Riva, C., Tuya, J. |
| المصدر: | Testing: Academic & Industrial Conference - Practice And Research Techniques (TAIC PART'06) Testing: Academic and Industrial Conference - Practice And Research Techniques, 2006. TAIC PART 2006. Proceedings. :127-130 2006 |
| Relation: | Testing: Academic & Industrial Conference - Practice And Research Techniques (TAIC PART'06) |
| قاعدة البيانات: | IEEE Xplore Digital Library |
Full Text Finder | ردمك: | 0769526721 9780769526720 |
|---|---|
| DOI: | 10.1109/TAIC-PART.2006.11 |