Treffer: Automated Adaptor Generation for Services Based on Pushdown Model Checking
Title:
Automated Adaptor Generation for Services Based on Pushdown Model Checking
Authors:
Source:
2011 18th IEEE International Conference and Workshops on Engineering of Computer-Based Systems Engineering of Computer Based Systems (ECBS), 2011 18th IEEE International Conference and Workshops on. :130-139 Apr, 2011
Relation:
2011 18th IEEE International Conference and Workshops on Engineering of Computer Based Systems (ECBS)
Database:
IEEE Xplore Digital Library