|
|||||
|
|
Detecting feature interactions in Web services with model checking techniques |
|
| Authors: | ZHANG Jian-yin YANG Fang-chun SU Sen |
| Affiliation: | State Key Laboratory of Networking and Switching Technology, Beijing University of Posts and Telecommunications, Beijing 100876, China |
| Abstract: | |
| Keywords: | feature interactions web services model checking detection |
| 本文献已被 万方数据 ScienceDirect 等数据库收录！ | |