CSpace

Browse/Search Results:  1-1 of 1 Help

Filters    
Selected(0)Clear Items/Page:    Sort:
Modeling and verifying Web services driven by requirements: An ontology-based approach 期刊论文
SCIENCE IN CHINA SERIES F-INFORMATION SCIENCES, 2006, 卷号: 49, 期号: 6, 页码: 792-820
Authors:  Hou Lishan;  Jin Zhi;  Wu Budan
Favorite  |  View/Download:49/0  |  Submit date:2018/07/30
web service  environment ontology  automatic composition  pi calculus  formal verification