Transaction Routing and its Verification by Correct Model Transformations - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Samar Abdi, Daniel Gajski. Transaction Routing and its Verification by Correct Model Transformations. In Eleventh Annual IEEE International High-Level Design Validation and Test Workshop 2006, Monterey, CA, USA, Nov 9-10, 2006. pages 129-136, IEEE Computer Society, 2006. [doi]

This author has not been identified. Look up 'Samar Abdi' in GoogleThis author has not been identified. Look up 'Daniel Gajski' in Google

runs on WebDSL