Complex Engineered Systems Design Verification Based on Assume-Guarantee Reasoning - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Hoda Mehrpouyan, Dimitra Giannakopoulou, Guillaume Brat, Irem Y. Tumer, Chris Hoyle. Complex Engineered Systems Design Verification Based on Assume-Guarantee Reasoning. Systems Engineering, 19(6):461-476, 2016. [doi]

This author has not been identified. Look up 'Hoda Mehrpouyan' in GoogleThis author has not been identified. Look up 'Dimitra Giannakopoulou' in GoogleThis author has not been identified. Look up 'Guillaume Brat' in GoogleThis author has not been identified. Look up 'Irem Y. Tumer' in GoogleThis author has not been identified. Look up 'Chris Hoyle' in Google

runs on WebDSL