Verification of component architectures using mode-based contracts - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Stefan Kugele, Diego Marmsoler, Nuria Mata, Kai Werther. Verification of component architectures using mode-based contracts. In 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2016, Kanpur, India, November 18-20, 2016. pages 133-142, IEEE, 2016. [doi]

This author has not been identified. Look up 'Stefan Kugele' in GoogleThis author has not been identified. Look up 'Diego Marmsoler' in GoogleThis author has not been identified. Look up 'Nuria Mata' in GoogleThis author has not been identified. Look up 'Kai Werther' in Google

runs on WebDSL