Systematic testing for control applications - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Rupak Majumdar, Indranil Saha, Zilong Wang. Systematic testing for control applications. In 8th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010), Grenoble, France, 26-28 July 2010. pages 1-10, IEEE Computer Society, 2010. [doi]

This author has not been identified. Look up 'Rupak Majumdar' in GoogleThis author has not been identified. Look up 'Indranil Saha' in GoogleThis author has not been identified. Look up 'Zilong Wang' in Google

runs on WebDSL