Contract-Based Reasoning for Component Systems with Rich Interactions - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Susanne Graf, Roberto Passerone, Sophie Quinton. Contract-Based Reasoning for Component Systems with Rich Interactions. In Alberto L. Sangiovanni-Vincentelli, Haibo Zeng, Marco Di Natale, Peter Marwedel, editors, Embedded Systems Development, From Functional Models to Implementations. pages 139-154, Springer, 2014. [doi]

This author has not been identified. Look up 'Susanne Graf' in GoogleThis author has not been identified. Look up 'Roberto Passerone' in GoogleThis author has not been identified. Look up 'Sophie Quinton' in Google

runs on WebDSL