Formal Methods for Emerging Technologies - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Robert Wille, Rolf Drechsler. Formal Methods for Emerging Technologies. In Diana Marculescu, Frank Liu, editors, Proceedings of the IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2015, Austin, TX, USA, November 2-6, 2015. pages 65-70, ACM, 2015. [doi]

This author has not been identified. Look up 'Robert Wille' in GoogleThis author has not been identified. Look up 'Rolf Drechsler' in Google

runs on WebDSL